查看“︁非递归BMS分析”︁的源代码

本条目展示[[非递归BMS]]和其他非递归记号的列表分析
{| class="wikitable"
|+
!非递归BMS
!其他记号
|-
|<math>\varnothing</math>
|<math>0</math>
|-
|<math>(1)</math>
|<math>1</math>
|-
|<math>(1)(1)</math>
|<math>2</math>
|-
|<math>(1)(2)</math>
|<math>\omega</math>
|-
|<math>(1)(2)(1)</math>
|<math>\omega+1</math>
|-
|<math>(1)(2)(2)</math>
|<math>\omega^2</math>
|-
|<math>(1)(2)(3)</math>
|<math>\omega^\omega</math>
|-
|<math>(1)(2,1)</math>
|<math>\varepsilon_0</math>
|-
|<math>(1)(2,1,1)</math>
|<math>\psi(\Omega_\omega)</math>
|-
|<math>(1,1)</math>
|<math>\Omega</math>
|-
|<math>(1,1)(1)</math>
|<math>\Omega+1</math>
|-
|<math>(1,1)(1)(2)</math>
|<math>\Omega+\omega</math>
|-
|<math>(1,1)(1)(2,1)</math>
|<math>\Omega+\varepsilon_0</math>
|-
|<math>(1,1)(1)(2,1,1)</math>
|<math>\Omega+\psi(\Omega_\omega)</math>
|-
|<math>(1,1)(1,1)</math>
|<math>\Omega\times2</math>
|-
|<math>(1,1)(1,1)(1,1)</math>
|<math>\Omega\times3</math>
|-
|<math>(1,1)(2)</math>
|<math>\Omega\times\omega</math>
|-
|<math>(1,1)(2)(1,1)</math>
|<math>\Omega\times\omega+\Omega</math>
|-
|<math>(1,1)(2)(2)</math>
|<math>\Omega\times\omega^2</math>
|-
|<math>(1,1)(2)(3,1,1)</math>
|<math>\Omega\times\psi(\Omega_\omega)</math>
|-
|<math>(1,1)(2,1)</math>
|<math>\Omega^2</math>
|-
|<math>(1,1)(2,1)(1,1)(2,1)</math>
|<math>\Omega^2\times2</math>
|-
|<math>(1,1)(2,1)(2)</math>
|<math>\Omega^2\times\omega</math>
|-
|<math>(1,1)(2,1)(2)(3,1,1)</math>
|<math>\Omega^2\times\psi(\Omega_\omega)</math>
|-
|<math>(1,1)(2,1)(2,1)</math>
|<math>\Omega^3</math>
|-
|<math>(1,1)(2,1)(2,1)(2,1)</math>
|<math>\Omega^4</math>
|-
|<math>(1,1)(2,1)(3)</math>
|<math>\Omega^\omega</math>
|-
|<math>(1,1)(2,1)(3)(4,1,1)</math>
|<math>\Omega^{\psi(\Omega_\omega)}</math>
|-
|<math>(1,1)(2,1)(3,1)</math>
|<math>\Omega^\Omega</math>
|-
|<math>(1,1)(2,1)(3,1)(4,1)</math>
|<math>\Omega^{\Omega^\Omega}</math>
|-
|<math>(1,1)(2,2)</math>
|<math>\psi_1(\Omega_2)</math>
|-
|<math>(1,1)(2,2)(2,1)</math>
|<math>\psi_1(\Omega_2+\Omega)</math>
|-
|<math>(1,1)(2,2)(2,1)(2,1)</math>
|<math>\psi_1(\Omega_2+\Omega\times2)</math>
|-
|<math>(1,1)(2,2)(2,1)(3)</math>
|<math>\psi_1(\Omega_2+\Omega\times\omega)</math>
|-
|<math>(1,1)(2,2)(2,1)(3,1)</math>
|<math>\psi_1(\Omega_2+\Omega^2)</math>
|-
|<math>(1,1)(2,2)(2,1)(3,2)</math>
|<math>\psi_1(\Omega_2+\psi_1(\Omega_2))</math>
|-
|<math>(1,1)(2,2)(2,1)(3,2)(2,1)(3,2)</math>
|<math>\psi_1(\Omega_2+\psi_1(\Omega_2)\times2)</math>
|-
|<math>(1,1)(2,2)(2,1)(3,2)(3)</math>
|<math>\psi_1(\Omega_2+\psi_1(\Omega_2+1))</math>
|-
|<math>(1,1)(2,2)(2,1)(3,2)(3,1)(4,2)</math>
|<math>\psi_1(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)))</math>
|-
|<math>(1,1)(2,2)(2,2)</math>
|<math>\psi_1(\Omega_2\times2)</math>
|-
|<math>(1,1)(2,2)(3)</math>
|<math>\psi_1(\Omega_2\times\omega)</math>
|-
|<math>(1,1)(2,2)(3,1)(4,2)</math>
|<math>\psi_1(\Omega_2\times\psi_1(\Omega_2))</math>
|-
|<math>(1,1)(2,2)(3,2)</math>
|<math>\psi_1(\Omega_2^2)</math>
|-
|<math>(1,1)(2,2)(3,2)(4,2)</math>
|<math>\psi_1(\Omega_2^{\Omega_2})</math>
|-
|<math>(1,1)(2,2)(3,3)</math>
|<math>\psi_1(\Omega_3)</math>
|-
|<math>(1,1)(2,2,1)</math>
|<math>\psi_1(\Omega_\omega)</math>
|-
|<math>(1,1)(2,2,1,1)</math>
|<math>\psi_1(\omega-proj.)</math>
|-
|<math>(1,1,1)</math>
|<math>\Omega_2</math>
|-
|<math>(1,1,1)(1,1)</math>
|<math>\Omega_2+\Omega</math>
|-
|<math>(1,1,1)(1,1)(2,2,1,1)</math>
|<math>\Omega_2+\psi_1(\omega-proj.)</math>
|-
|<math>(1,1,1)(1,1,1)</math>
|<math>\Omega_2\times2</math>
|-
|<math>(1,1,1)(2)</math>
|<math>\Omega_2\times\omega</math>
|-
|<math>(1,1,1)(2,1)</math>
|<math>\Omega_2\times\Omega</math>
|-
|<math>(1,1,1)(2,1)(2,1)</math>
|<math>\Omega_2\times\Omega^2</math>
|-
|<math>(1,1,1)(2,1)(3,2)</math>
|<math>\Omega_2\times\psi_1(\Omega_2)</math>
|-
|<math>(1,1,1)(2,1)(3,2,1,1)</math>
|<math>\Omega_2\times\psi_1(\omega-proj.)</math>
|-
|<math>(1,1,1)(2,1,1)</math>
|<math>\Omega_2^2</math>
|-
|<math>(1,1,1)(2,1,1)(2,1,1)</math>
|<math>\Omega_2^3</math>
|-
|<math>(1,1,1)(2,1,1)(3,1,1)</math>
|<math>\Omega_2^{\Omega_2}</math>
|-
|<math>(1,1,1)(2,2)</math>
|<math>\psi_2(\Omega_3)</math>
|-
|<math>(1,1,1)(2,2)(2,1,1)(3,2)</math>
|<math>\psi_2(\Omega_3+\psi_2(\Omega_3))</math>
|-
|<math>(1,1,1)(2,2)(2,2)</math>
|<math>\psi_2(\Omega_3\times2)</math>
|-
|<math>(1,1,1)(2,2)(3,1,1)(4,2)</math>
|<math>\psi_2(\Omega_3\times\psi_2(\Omega_3))</math>
|-
|<math>(1,1,1)(2,2)(3,2)</math>
|<math>\psi_2(\Omega_3^2)</math>
|-
|<math>(1,1,1)(2,2)(3,3)</math>
|<math>\psi_2(\Omega_4)</math>
|-
|<math>(1,1,1)(2,2)(3,3,1)</math>
|<math>\psi_2(\Omega_\omega)</math>
|-
|<math>(1,1,1)(2,2)(3,3,1,1)</math>
|<math>\psi_2(\omega-proj.)</math>
|-
|<math>(1,1,1)(2,2,1)</math>
|<math>\Omega_3</math>
|}
[[分类:分析]]