LPrSSψ分析Part2:修订间差异
来自Googology Wiki
更多操作
LPrSS分析EBO~SIO |
到SMO |
||
| 第414行: | 第414行: | ||
|<math>\psi(I_\omega)</math> | |<math>\psi(I_\omega)</math> | ||
|(0)(1,1,1)(2,1,1)(3,1,1) | |(0)(1,1,1)(2,1,1)(3,1,1) | ||
|} | |||
== 分析3:SIO~SMO == | |||
LPrSSψ的指数进入Ω_2阶段,对应BOCF的多重I甚至M,逐步进入反射阶段。 | |||
{| class="wikitable" | |||
|+分析3:SIO~SMO | |||
!LPrSSψ | |||
!BOCF | |||
!BMS | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2})</math> | |||
|<math>\psi(I_\omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}+\Omega_2)</math> | |||
|<math>\psi(I_\omega+\Omega_\omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}+\Omega_2^\Omega)</math> | |||
|<math>\psi(I_\omega+\Omega_\Omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}+\Omega_2^{\psi_1(\Omega_3)})</math> | |||
|<math>\psi(I_\omega+\psi_I(\Omega_{I+\omega}))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}+\Omega_2^{\psi_1(\Omega_3^\Omega)})</math> | |||
|<math>\psi(I_\omega+\psi_I(\Omega_{I+\Omega}))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}+\Omega_2^{\psi_1(\Omega_3^{\Omega_2})})</math> | |||
|<math>\psi(I_\omega+\psi_I(\Omega_{\Omega_{I+1}}))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}+\Omega_2^{\psi_1(\Omega_3^{\Omega_3})})</math> | |||
|<math>\psi(I_\omega+\psi_I(I_\omega))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}+\Omega_2^{\psi_1(\Omega_3^{\Omega_3}+\Omega_2)})</math> | |||
|<math>\psi(I_\omega+\Omega_{I+1})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(4,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}+\Omega_2^{\psi_1(\Omega_3^{\Omega_3}+\Omega_3)})</math> | |||
|<math>\psi(I_\omega+\Omega_{I+\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(4,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}+\Omega_2^{\psi_1(\Omega_3^{\Omega_3}+\Omega_3^{\Omega_2})})</math> | |||
|<math>\psi(I_\omega+\Omega_{\Omega_{I+1}})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(4,2,1)(5,2,1)(6,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}+\Omega_2^{\psi_1(\Omega_3^{\Omega_3}+\Omega_3^{\psi_2(\Omega_4^{\Omega_4})})})</math> | |||
|<math>\psi(I_\omega+\psi_{I_2}(I_\omega))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(4,2,1)(5,2,1)(6,2)(7,3,1)(8,3,1)(9,3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}2)</math> | |||
|<math>\psi(I_\omega2)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\omega)</math> | |||
|<math>\psi(I_\omega\omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\Omega)</math> | |||
|<math>\psi(I_\omega\Omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\times(\Omega+1))</math> | |||
|<math>\psi(I_\omega^2)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(1,1,1)(2,1,1)(3,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\times\psi_1(\Omega_2))</math> | |||
|<math>\psi(\Omega_{I_\omega+1})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\times\psi_1(\Omega_3))</math> | |||
|<math>\psi(\Omega_{I_\omega+\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\times\psi_1(\Omega_3^{\Omega_2}))</math> | |||
|<math>\psi(\Omega_{\Omega_{I_\omega+1}})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\times\psi_1(\Omega_3^{\Omega_2}\omega))</math> | |||
|<math>\psi(I_{\omega+1})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\times\psi_1(\Omega_3^{\Omega_2+1}))</math> | |||
|<math>\psi(I_{\omega+1}\omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\times\psi_1(\Omega_3^{\psi_2(\Omega_3)}))</math> | |||
|<math>\psi(\Omega_{I_{\omega+1}+1})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(6,3) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\times\psi_1(\Omega_3^{\psi_2(\Omega_4)}))</math> | |||
|<math>\psi(\Omega_{I_{\omega+1}+\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(6,3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\times\psi_1(\Omega_3^{\psi_2(\Omega_4^{\Omega_3}\omega)}))</math> | |||
|<math>\psi(I_{\omega+2})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(6,3,1)(7,3,1)(8,3)(7) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2}\times\psi_1(\Omega_3^{\Omega_3}))</math> | |||
|<math>\psi(I_{\omega2})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+1})</math> | |||
|<math>\psi(I_{\omega^2})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\omega})</math> | |||
|<math>\psi(I_{\omega^\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\Omega})</math> | |||
|<math>\psi(I_{\Omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\Omega}+\Omega_2^\Omega)</math> | |||
|<math>\psi(I_{\Omega_\Omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\Omega}+\Omega_2^{\psi_2(\Omega_4^{\Omega_4+\Omega})}\omega)</math> | |||
|<math>\psi(I_I)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\Omega}+\Omega_2^{\Omega_2})</math> | |||
|<math>\psi(I_{I_\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\Omega}2)</math> | |||
|<math>\psi(I_{I_\Omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\Omega}\omega)</math> | |||
|<math>\psi(I(1,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\Omega+1})</math> | |||
|<math>\psi(I(1,0)\times\omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\Omega2})</math> | |||
|<math>\psi(I(1,0)\times\Omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\Omega2}\omega)</math> | |||
|<math>\psi(I(1,0)^2)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\Omega^2})</math> | |||
|<math>\psi(I(1,0)^\Omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\psi_1(\Omega_2)})</math> | |||
|<math>\psi(\Omega_{I(1,0)+1})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\psi_1(\Omega_3)})</math> | |||
|<math>\psi(\Omega_{I(1,0)+\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\psi_1(\Omega_3^{\Omega_2})})</math> | |||
|<math>\psi(\Omega_{\Omega_{I(1,0)+1}})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2+\psi_1(\Omega_3^{\Omega_3})})</math> | |||
|<math>\psi(I_{I(1,0)+\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_22})</math> | |||
|<math>\psi(I(1,\omega))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_22+\Omega})</math> | |||
|<math>\psi(I(1,\Omega))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_22+\Omega}\omega)</math> | |||
|<math>\psi(I(2,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_23})</math> | |||
|<math>\psi(I(2,\omega))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\omega})</math> | |||
|<math>\psi(I(\omega,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\omega+\Omega})</math> | |||
|<math>\psi(I(\omega,\Omega))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\omega+\Omega}\omega)</math> | |||
|<math>\psi(I(\omega+1,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times(\omega+1)})</math> | |||
|<math>\psi(I(\omega+1,\omega))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\omega2})</math> | |||
|<math>\psi(I(\omega2,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1,1)(3) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\omega^2})</math> | |||
|<math>\psi(I(\omega^2,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3)(3) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\Omega})</math> | |||
|<math>\psi(I(\Omega,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\Omega}2)</math> | |||
|<math>\psi(I(I(\Omega,0),0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1,1)(3,1,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\Omega}\omega)</math> | |||
|<math>\psi(I(1,0,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\Omega+1})</math> | |||
|<math>\psi(I(1,0,0)\times\omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times(\Omega+1)})</math> | |||
|<math>\psi(I(1,0,\omega))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1)(3,1,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times(\Omega+\omega)})</math> | |||
|<math>\psi(I(1,\omega,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1)(3,1,1)(3) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\Omega2})</math> | |||
|<math>\psi(I(1,\Omega,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1)(3,1,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\Omega2}\omega)</math> | |||
|<math>\psi(I(2,0,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1)(3,1,1)(3,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\Omega\omega})</math> | |||
|<math>\psi(I(\omega,0,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\Omega^2})</math> | |||
|<math>\psi(I(\Omega,0,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\Omega^2}\omega)</math> | |||
|<math>\psi(I(1,0,0,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\Omega^\omega})</math> | |||
|<math>\psi(\psi_M(M^{M^\omega}))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\Omega^\Omega})</math> | |||
|<math>\psi(\psi_M(M^{M^\Omega}))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\Omega^\Omega}\omega)</math> | |||
|<math>\psi(\psi_M(M^{M^M}))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\Omega^{\Omega^\Omega}}\omega)</math> | |||
|<math>\psi(\psi_M(M\uparrow\uparrow4))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,1)(5,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_2)})</math> | |||
|<math>\psi(\Omega_{M+1})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_22)})</math> | |||
|<math>\psi(\Omega_{M+1}2)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)(4,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_2^2)})</math> | |||
|<math>\psi(\Omega_{M+1}^2)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)(5,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_2^{\Omega_2})})</math> | |||
|<math>\psi(\Omega_{M+1}^{\Omega_{M+1}})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)(5,2)(6,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\psi_2(\Omega_3))})</math> | |||
|<math>\psi(\Omega_{M+2})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)(5,3) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3)})</math> | |||
|<math>\psi(\Omega_{M+\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3^\Omega)})</math> | |||
|<math>\psi(\Omega_{M+\Omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3^\Omega)}\omega)</math> | |||
|<math>\psi(\Omega_{M2})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,1)(2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3^{\Omega_2})})</math> | |||
|<math>\psi(\Omega_{\Omega_{M+1}})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3^{\Omega_2}\omega)})</math> | |||
|<math>\psi(I_{M+1})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3^{\Omega_3})})</math> | |||
|<math>\psi(I_{M+\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3^{\Omega_32})})</math> | |||
|<math>\psi(I(1,M+\omega))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3^{\Omega_3\Omega_2})})</math> | |||
|<math>\psi(I(M+1,0))</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3^{\Omega_3\times\psi_2(\Omega_3)})})</math> | |||
|<math>\psi(\Omega_{M_2+1})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2)(7,3) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3^{\Omega_3\times\psi_2(\Omega_4)})})</math> | |||
|<math>\psi(\Omega_{M_2+\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2)(7,3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2\times\psi_1(\Omega_3^{\Omega_3\times\psi_2(\Omega_4^{\Omega_4})})})</math> | |||
|<math>\psi(I_{M_2+\omega})</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2)(7,3,1)(8,3,1)(9,3,1) | |||
|- | |||
|<math>\psi(\Omega_2^{\Omega_2^2})</math> | |||
|<math>\psi(M_\omega)</math> | |||
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1) | |||
|} | |} | ||
2026年5月6日 (三) 06:49的版本
上篇:LPrSSψ分析
分析1:EBO~JO
分析至此,LPrSSψ继续多项式Ω_2阶段,与BMS对应,而BOCF已经引入了不可达序数I。
| LPrSSψ | BOCF | BMS |
|---|---|---|
| (0)(1,1,1)(2,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2)(1,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2)(1,1,1)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2)(1,1,1)(2,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(1,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(1,1,1)(2,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2)(4,3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2)(5,3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2)(5,3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,1)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2)(4) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2)(5,3,1)(6,3,1)(7,3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2)(5,3,1)(6,3,1)(7,3)(6) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(2,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(2,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(3,1)(2,1,1)(3,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(3,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,1)(5,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,1)(5,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2) |
分析2:JO~SIO
LPrSSψ在Ω_2的指数上引入了ψ_1,与此同时,BOCF引入了Ω_(I+X)甚至I_n。
| LPrSSψ | BOCF | BMS |
|---|---|---|
| (0)(1,1,1)(2,1,1)(3,1)(4,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(1,1,1)(2,1,1)(3,1)(4,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2,1)(3,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2,1)(3,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2,1)(3,2,1)(4,2,1)(5,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2,1)(3,2,1)(4,2,1)(5,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2,1)(3,2,1)(4,2,1)(5,2)(4) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2,1)(3,2,1)(4,2,1)(5,2)(6,3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(2,1,1)(3,1)(4,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(3,1)(4,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(4,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5,1)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5,2)(6) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5,2)(6,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5,2)(6,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5,2)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5,3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2)(5,3)(6,4) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2)(6,3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2)(6,3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,1)(5,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5,2,1)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(7,3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(7,3)(8,4) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(7,3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(7,3,1)(8,4,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(7,3,1)(8,4,1)(9,1) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(7,3,1)(8,4,1)(9,2) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(7,3,1)(8,4,1)(9,3) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(7,3,1)(8,4,1)(9,3)(8) | ||
| (0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(7,3,1)(8,4,1)(9,3)(10,4,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1) |
分析3:SIO~SMO
LPrSSψ的指数进入Ω_2阶段,对应BOCF的多重I甚至M,逐步进入反射阶段。
| LPrSSψ | BOCF | BMS |
|---|---|---|
| (0)(1,1,1)(2,1,1)(3,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(4,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(4,2,1)(5,2,1)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(4,2,1)(5,2,1)(6,2)(7,3,1)(8,3,1)(9,3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(1,1,1)(2,1,1)(3,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1)(1,1,1)(2,1,1)(3,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(6,3) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(6,3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2)(6,3,1)(7,3,1)(8,3)(7) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1)(3,2,1)(4,2,1)(5,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3)(2,1,1)(3,1,1)(3) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3)(3) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(1,1,1)(2,1,1)(3,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1)(3,1,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1)(3,1,1)(3) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1)(3,1,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2,1,1)(3,1,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(3,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,1)(5,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)(4,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)(5,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)(5,2)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2)(5,3) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,1)(2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(5,2,1)(6,2,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2)(7,3) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2)(7,3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2)(7,3,1)(8,3,1)(9,3,1) | ||
| (0)(1,1,1)(2,1,1)(3,1,1)(3,1,1) |