2025年8月7日 (四) 15:20 Tabelog

2025-08-07T15:20:31Z

←上一版本		2025年8月7日 (四) 23:20的版本
第1行：		第1行：
	SSO（Large Stegert ~~Ordinal），是Stability的证明论序数，该结论由~~ Stegert 给出，因此得名。		SSO（Large Stegert Ordinal），是 Stability 的证明论序数，该结论由 Stegert 给出，因此得名。
	{\| class="wikitable"		{\| class="wikitable"
	![[序数记号]]		![[序数记号]]
第28行：		第28行：
	\|<math>\psi_\Zeta[\varepsilon_1,\varphi(\omega,0)\times\omega](\varphi(\omega,0)\times\omega)</math>		\|<math>\psi_\Zeta[\varepsilon_1,\varphi(\omega,0)\times\omega](\varphi(\omega,0)\times\omega)</math>
	\|}		\|}

			=== 性质 ===
	[[证明论序数]]：<math>\rm{Stability}</math>		[[证明论序数]]：<math>\rm{Stability}</math>

			极限在此处的记号：Stegert's OCF，EUAN，62XXY's OCF
			[[分类:序数]]

YourCpper：创建页面，内容为“SSO（Large Stegert Ordinal），是Stability的证明论序数，该结论由 Stegert 给出，因此得名。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 | $\psi(\lambda\alpha.\alpha2-\Pi_0)$ |- |投影序数 | $\psi(\psi_\alpha(\varphi(\alpha,\Omega_{\alpha+1})))$ |- |UNOCF | $\psi(\Omega_{T+1}^T)$ |- |BMS | $(0)(1,1,1)(2,2)(3,2)(4,1)(2)$ |- |0-Y | $1,4,8,12,14,5$ |-…”

2025-08-07T14:14:50Z

创建页面，内容为“SSO（Large Stegert Ordinal），是Stability的证明论序数，该结论由 Stegert 给出，因此得名。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.\alpha2-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varphi(\alpha,\Omega_{\alpha+1})))</math> |- |UNOCF |<math>\psi(\Omega_{T+1}^T)</math> |- |BMS |<math>(0)(1,1,1)(2,2)(3,2)(4,1)(2)</math> |- |0-Y |<math>1,4,8,12,14,5</math> |-…”

新页面

SSO（Large Stegert Ordinal），是Stability的证明论序数，该结论由 Stegert 给出，因此得名。
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[稳定序数]]
|<math>\psi(\lambda\alpha.\alpha2-\Pi_0)</math>
|-
|[[投影序数]]
|<math>\psi(\psi_\alpha(\varphi(\alpha,\Omega_{\alpha+1})))</math>
|-
|[[UNOCF]]
|<math>\psi(\Omega_{T+1}^T)</math>
|-
|[[BMS]]
|<math>(0)(1,1,1)(2,2)(3,2)(4,1)(2)</math>
|-
|[[0-Y]]
|<math>1,4,8,12,14,5</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,8,13,18,21,9</math>
|-
|[[Ex-hydra]]
|<math>p1(p3(p4(p4(p2))+p1))</math>
|-
|[[Fake Fake Fake Zeta]]
|<math>\psi_\Zeta[\varepsilon_1,\varphi(\omega,0)\times\omega](\varphi(\omega,0)\times\omega)</math>
|}
[[证明论序数]]：<math>\rm{Stability}</math>

LSO - 版本历史

2025年8月7日 (四) 15:20 Tabelog