LDO - 版本历史

QWQ-bili：文字替换 -“向上投影”替换为“向上投影”

2025-08-19T15:38:33Z

←上一版本		2025年8月19日 (二) 23:38的版本
第10行：		第10行：
	\|<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha_2))</math>		\|<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha_2))</math>
	\|-		\|-
	\|[[投影序数\|向上投影]]		\|[[投影序数#向上投影\|向上投影]]
	\|<math>\psi(\psi_S(\sigma S+\psi_{S_3}(\sigma S+S_2)))</math>		\|<math>\psi(\psi_S(\sigma S+\psi_{S_3}(\sigma S+S_2)))</math>
	\|-		\|-

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

2025-08-07T15:23:13Z

←上一版本		2025年8月7日 (四) 23:23的版本
第1行：		第1行：
	LDO（Large Dropping Ordinal），由 Username5243 命名，指代拓展 [[UNOCF]] 极限。该名字曾经也用于指代<math>(0)(1,1,1)(2,2,1)(3,1)(2)</math>（<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))</math>）		LDO（Large Dropping Ordinal），由 Username5243 命名，指代拓展 [[UNOCF]] 极限。该名字曾经也用于指代 <math>(0)(1,1,1)(2,2,1)(3,1)(2)</math>（<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))</math>）。
	{\| class="wikitable"		{\| class="wikitable"
	![[序数记号]]		![[序数记号]]
第32行：		第32行：
	\|}		\|}

	== ~~性质：~~ ==		=== 性质 ===
	极限在此处的记号：[[SAN\|NDAN]]，[[UNOCF\|~~拓展UNOCF~~]] ~~，LXN~~		极限在此处的记号：[[SAN\|NDAN]]，[[UNOCF\|拓展 UNOCF]] ，LXN，MCS，CIAN v1
			[[分类:序数]]

2025年8月7日 (四) 14:37 YourCpper

2025-08-07T14:37:59Z

@@ 第1行： / 第1行： @@
-LDO（Large Dropping Ordinal），由 Username5243 命名，指代拓展 [[UNOCF]] 极限。该名字曾经也用于指代
+LDO（Large Dropping Ordinal），由 Username5243 命名，指代拓展 [[UNOCF]] 极限。该名字曾经也用于指代<math>(0)(1,1,1)(2,2,1)(3,1)(2)</math>（<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))</math>）
 {| class="wikitable"
 ![[序数记号]]

YourCpper：创建页面，内容为“LDO（Large Dropping Ordinal），由 Username5243 命名，指代拓展 UNOCF 极限。该名字曾经也用于指代 {| class="wikitable" | $\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))$ |} （ {| class="wikitable" | $(0)(1,1,1)(2,2,1)(3,1)(2)$ |} ） {| class="wikitable" !序数记号 !表达式 |- |稳定序数 | $\psi(\lambda\alpha.\Phi(1,\alpha+1)-\Pi_0)$ |- |投影序数 | $\psi(\psi_\alpha(\Omega_{…”$

2025-08-07T14:37:08Z

创建页面，内容为“LDO（Large Dropping Ordinal），由 Username5243 命名，指代拓展 UNOCF 极限。该名字曾经也用于指代 {| class="wikitable" |<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))</math> |} （ {| class="wikitable" |<math>(0)(1,1,1)(2,2,1)(3,1)(2)</math> |} ） {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.\Phi(1,\alpha+1)-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\Omega_{…”

新页面

LDO（Large Dropping Ordinal），由 Username5243 命名，指代拓展 [[UNOCF]] 极限。该名字曾经也用于指代
{| class="wikitable"
|<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))</math>
|}
（
{| class="wikitable"
|<math>(0)(1,1,1)(2,2,1)(3,1)(2)</math>
|}
）
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[稳定序数]]
|<math>\psi(\lambda\alpha.\Phi(1,\alpha+1)-\Pi_0)</math>
|-
|[[投影序数]]
|<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha_2))</math>
|-
|[[投影序数|向上投影]]
|<math>\psi(\psi_S(\sigma S+\psi_{S_3}(\sigma S+S_2)))</math>
|-
|[[UNOCF|Aarex's exUNOCF]]
|<math>\psi(C(1\{1:0\}0)))</math>
|-
|[[BMS]]
|<math>(0)(1,1,1)(2,2,1)(3,2)</math>
|-
|[[0-Y]]
|<math>1,4,9,13</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,8,14,19</math>
|-
|[[Ex-hydra]]
|<math>p1(p3(p5(p4)))</math>
|-
|[[Fake Fake Fake Zeta]]
|<math>\psi_\Zeta[\varepsilon_1](\psi_\Zeta[\varepsilon_0](\varepsilon_0\times\omega))</math>
|}

== 性质： ==
极限在此处的记号：[[SAN|NDAN]]，[[UNOCF|拓展UNOCF]] ，LXN

LDO - 版本历史

QWQ-bili：​文字替换 -“向上投影”替换为“向上投影”

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

2025年8月7日 (四) 14:37 YourCpper

QWQ-bili：文字替换 -“向上投影”替换为“向上投影”