DO - 版本历史

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

2025-08-17T02:40:58Z

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

←上一版本		2025年8月17日 (日) 10:40的版本
第22行：		第22行：
	\|<math>p1(p3(p3(p3(p3(p2(p3))))))</math>		\|<math>p1(p3(p3(p3(p3(p2(p3))))))</math>
	\|-		\|-
	\|[[Dropping ~~Hydra~~#M 记号\|M 记号]]		\|[[Dropping#M 记号\|M 记号]]
	\|<math>p(p(M^{M^{M^M}}+M))</math>		\|<math>p(p(M^{M^{M^M}}+M))</math>
	\|-		\|-

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

2025-08-07T15:18:46Z

←上一版本		2025年8月7日 (四) 23:18的版本
第29行：		第29行：
	\|}		\|}

	== 性质 ==		=== 性质 ===
	[[证明论序数]]：<math>\rm{KP+\Pi_4-~~Ref}~~</math>		[[证明论序数]]：<math>\rm KP+\Pi_4-Reflection</math>

	极限在此处的记号：Duchhart's OCF		极限在此处的记号：Duchhart's OCF
			[[分类:序数]]

YourCpper：创建页面，内容为“DO（Duchhart's Ordinal），是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF | $\psi(\Omega_{\kappa+1})$ |- |反射序数 | $\psi(2 \ \text{aft} \ 4)$ |- |BMS | $(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1)(6,2)$ |- |0-Y | $1,4,7,10,13,15,19$ |- |1-Y | $1,2,4,8,12,16,20,23,27$ |- |ex-hydra | $p1(p3(p3(p3(p3(p2(p3))))))$ |- |D…”

2025-08-07T14:06:30Z

创建页面，内容为“DO（Duchhart's Ordinal），是一个重要的序数。 {| class="wikitable" !序数记号 !表达式 |- |BOCF |<math>\psi(\Omega_{\kappa+1})</math> |- |反射序数 |<math>\psi(2 \ \text{aft} \ 4)</math> |- |BMS |<math>(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1)(6,2)</math> |- |0-Y |<math>1,4,7,10,13,15,19</math> |- |1-Y |<math>1,2,4,8,12,16,20,23,27</math> |- |ex-hydra |<math>p1(p3(p3(p3(p3(p2(p3))))))</math> |- |D…”

新页面

DO（Duchhart's Ordinal），是一个重要的[[序数]]。
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[OCF#BOCF|BOCF]]
|<math>\psi(\Omega_{\kappa+1})</math>
|-
|[[反射序数]]
|<math>\psi(2 \ \text{aft} \ 4)</math>
|-
|[[BMS]]
|<math>(0)(1,1,1)(2,1,1)(3,1,1)(4,1,1)(5,1)(6,2)</math>
|-
|[[0-Y]]
|<math>1,4,7,10,13,15,19</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,8,12,16,20,23,27</math>
|-
|[[ex-hydra]]
|<math>p1(p3(p3(p3(p3(p2(p3))))))</math>
|-
|[[Dropping Hydra#M 记号|M 记号]]
|<math>p(p(M^{M^{M^M}}+M))</math>
|-
|[[投影序数|投影]]
|<math>\psi(\psi_\alpha(\Omega_{\alpha+1}^{\Omega_{\alpha+1}^{\Omega_{\alpha+1}^{\varepsilon_{\alpha+1}}}}))</math>
|}

== 性质 ==
[[证明论序数]]：<math>\rm{KP+\Pi_4-Ref}</math>

极限在此处的记号：Duchhart's OCF

DO - 版本历史

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

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

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