SSO - 版本历史

Tabelog：文字替换 -“Dropping Hydra#M 记号”替换为“Dropping#M 记号”

2025-08-17T02:38:21Z

文字替换 -“Dropping Hydra#M 记号”替换为“Dropping#M 记号”

←上一版本		2025年8月17日 (日) 10:38的版本
第35行：		第35行：
	[[证明论序数]]：<math>\rm{KP+\Pi_N-ref},N\in\omega</math>		[[证明论序数]]：<math>\rm{KP+\Pi_N-ref},N\in\omega</math>

	极限在此处的记号：[[SAN\|pDAN]]、[[Dropping ~~Hydra~~#M 记号\|M 记号]]等 [[Dropping Hydra\|2-dropping]] 记号，[[反射序数]]		极限在此处的记号：[[SAN\|pDAN]]、[[Dropping#M 记号\|M 记号]]等 [[Dropping Hydra\|2-dropping]] 记号，[[反射序数]]
	[[分类:序数]]		[[分类:序数]]

2025年8月6日 (三) 11:07 Tabelog

2025-08-06T11:07:10Z

←上一版本		2025年8月6日 (三) 19:07的版本
第33行：		第33行：

	=== 性质 ===		=== 性质 ===
	~~证明论序数：~~<math>\rm{KP+\Pi_N-ref},N\in\omega</math>		[[证明论序数]]：<math>\rm{KP+\Pi_N-ref},N\in\omega</math>

	极限在此处的记号：[[SAN\|pDAN]]、[[Dropping Hydra#M 记号\|M 记号]]等 [[Dropping Hydra\|2-dropping]] 记号，[[反射序数]]		极限在此处的记号：[[SAN\|pDAN]]、[[Dropping Hydra#M 记号\|M 记号]]等 [[Dropping Hydra\|2-dropping]] 记号，[[反射序数]]
	[[分类:序数]]		[[分类:序数]]

2025年8月6日 (三) 10:41 Tabelog

2025-08-06T10:41:05Z

←上一版本		2025年8月6日 (三) 18:41的版本
第1行：		第1行：
	SSO（Small Stegert Ordinal），是<math>\rm{KP+\Pi_N-ref},N\in\omega</math>~~的证明论序数，该结论由Stegert给出，因此得名。~~		SSO（Small Stegert Ordinal），是 <math>\rm{KP+\Pi_N-ref},N\in\omega</math> 的证明论序数，该结论由 Stegert 给出，因此得名。
	{\| class="wikitable"		{\| class="wikitable"
	![[序数记号]]		![[序数记号]]
第32行：		第32行：
	\|}		\|}

	== 性质 ==		=== 性质 ===
	证明论序数：<math>\rm{KP+\Pi_N-ref},N\in\omega</math>		证明论序数：<math>\rm{KP+\Pi_N-ref},N\in\omega</math>

	~~记号极限：~~[[SAN\|pDAN]]、[[Dropping Hydra#M 记号\|~~M记号~~]]等[[Dropping Hydra\|2-dropping]]记号，[[反射序数]]		极限在此处的记号：[[SAN\|pDAN]]、[[Dropping Hydra#M 记号\|M 记号]]等 [[Dropping Hydra\|2-dropping]] 记号，[[反射序数]]
			[[分类:序数]]

YourCpper：创建页面，内容为“SSO（Small Stegert Ordinal），是 $\rm{KP+\Pi_N-ref},N\in\omega$ 的证明论序数，该结论由Stegert给出，因此得名。 {| class="wikitable" !序数记号 !表达式 |- |反射序数 | $\psi(\rm{psd.}\Pi_\omega)$ |- |稳定序数 | $\psi(\lambda\alpha.\alpha+1-\Pi_0)$ |- |投影序数 | $\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha+1}+1}))=\psi(\psi_\alpha(\alpha_2))$ |- |UNOCF | $\psi(…”$

2025-08-06T10:37:27Z

创建页面，内容为“SSO（Small Stegert Ordinal），是<math>\rm{KP+\Pi_N-ref},N\in\omega</math>的证明论序数，该结论由Stegert给出，因此得名。 {| class="wikitable" !序数记号 !表达式 |- |反射序数 |<math>\psi(\rm{psd.}\Pi_\omega)</math> |- |稳定序数 |<math>\psi(\lambda\alpha.\alpha+1-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha+1}+1}))=\psi(\psi_\alpha(\alpha_2))</math> |- |UNOCF |<math>\psi(…”

新页面

SSO（Small Stegert Ordinal），是<math>\rm{KP+\Pi_N-ref},N\in\omega</math>的证明论序数，该结论由Stegert给出，因此得名。
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[反射序数]]
|<math>\psi(\rm{psd.}\Pi_\omega)</math>
|-
|[[稳定序数]]
|<math>\psi(\lambda\alpha.\alpha+1-\Pi_0)</math>
|-
|[[投影序数]]
|<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha+1}+1}))=\psi(\psi_\alpha(\alpha_2))</math>
|-
|[[UNOCF]]
|<math>\psi(\varepsilon_{T+1})</math>
|-
|[[BMS]]
|<math>(0)(1,1,1)(2,2)</math>
|-
|[[0-Y]]
|<math>1,4,8</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,8,13</math>
|-
|[[Ex-hydra]]
|<math>p1(p3(p4))</math>
|-
|[[Fake Fake Fake Zeta]]
|<math>\psi_\Zeta[\varepsilon_1](\varepsilon_1)</math>
|}

== 性质 ==
证明论序数：<math>\rm{KP+\Pi_N-ref},N\in\omega</math>

记号极限：[[SAN|pDAN]]、[[Dropping Hydra#M 记号|M记号]]等[[Dropping Hydra|2-dropping]]记号，[[反射序数]]

SSO - 版本历史

Tabelog：​文字替换 -“Dropping Hydra#M 记号”替换为“Dropping#M 记号”

2025年8月6日 (三) 11:07 Tabelog

2025年8月6日 (三) 10:41 Tabelog

Tabelog：文字替换 -“Dropping Hydra#M 记号”替换为“Dropping#M 记号”