HCO：修订间差异

2025年8月26日 (二) 16:24的最新版本

HCO（Hyper Cantor's Ordinal），是一个重要的序数。它也是 BOCF 和 MOCF 的第一个追平点。

序数记号	表达式
Veblen 函数	$φ (ω, 0)$
BOCF	$ψ (Ω^{ω}) / ψ (ψ_{1} (ψ_{1} (1)))$
MOCF	$ψ (Ω^{ω})$
BMS	$(\begin{matrix} 0 & 1 & 2 & 3 \\ 0 & 1 & 1 & 0 \end{matrix})$
HPrSS	$1, 3, 5, 6$
0-Y	$1, 3, 5, 6$
1-Y	$1, 2, 4, 5$
PSS Hydra	$ψ_{1}^{H} (ψ_{2}^{H} (ψ_{2}^{H} (ψ_{1}^{H} (0))))$
weak Veblen 函数	$\varphi(1\text{@}\omega)$
BHM	$(\begin{matrix} 0 & 1 & 2 & 2 \end{matrix})$
BSM	$(\begin{matrix} 0 & 1 & 1 & 2 & 2 \end{matrix})$
NOCF	$ψ (Ω_{ω^{ω}}) / ψ (Ω_{ψ (Ω_{2})})$
M 记号	$ψ (ψ (M + ψ (M + 1)))$

性质

证明论序数： $Δ_{1}^{1} - C R$ ， $R C A_{0}^{*} + Π_{1}^{1} - C A^{-}$ ， $Σ_{1}^{1} - D C_{0}$ ， $I D_{1}^{#}$ ， $E M_{0} + J R$ ， $P I D$ ， $A c c - I D (A c c)$ ， $(Π_{0}^{0} (P), P \cup N) - I D$ ， $(Π_{0}^{0} (P), P \land N) - I D (A c c)$

极限在此处的记号：LPrSS，序数超运算，0-IUN，NAN

@@ 第1行： / 第1行： @@
-'''HCO(Hyper Cantor's Ordinal，超康托尔序数)'''，是一个重要的序数。它也是[[OCF#BOCF|BOCF]]和[[OCF#MOCF|MOCF]]的第一个[[Catching|追平点]]。
+'''HCO（Hyper Cantor's Ordinal）'''，是一个重要的[[序数]]。它也是 [[OCF#BOCF|BOCF]] 和 [[OCF#MOCF|MOCF]] 的第一个[[Catching|追平点]]。
 {| class="wikitable"
-|+HCO
+![[序数记号]]
-!记号
 !表达式
 |-
-|[[veblen函数]]
+|[[Veblen 函数|Veblen 函数]]
 |<math>\varphi(\omega,0)</math>
 |-
@@ 第23行： / 第22行： @@
 |<math>1,3,5,6</math>
 |-
-|[[Y序列]]
+|[[Y序列|1-Y]]
 |<math>1,2,4,5</math>
 |-
@@ 第29行： / 第28行： @@
 |<math>\psi^H_1(\psi^H_2(\psi^H_2(\psi^H_1(0))))</math>
 |-
-|[[weak veblen函数]]
+|[[weak Veblen 函数]]
 | \(\varphi(1\text{@}\omega)\)
 |-
@@ 第41行： / 第40行： @@
 |<math>\psi(\Omega_{\omega^\omega})/\psi(\Omega_{\psi(\Omega_2)})</math>
 |-
-|[[M记号]]
+|[[Dropping#M 记号|M 记号]]
 |<math>\psi(\psi(M+\psi(M+1)))</math>
 |}
-== 性质 ==
+=== 性质 ===
-HCO是算术论体系<math>\Delta_1^1-CR</math>、<math>RCA_0^*+\Pi_1^1-CA^-</math>、<math>\Sigma_1^1-DC_0</math>、体系<math>EM_0+JR</math>、<math>PID</math>、<math>Acc-ID(Acc)</math>、<math>(\Pi_0^0(P)P\cup N)-ID)</math>、<math>(\Pi_0^0(P),P\land N)-ID(Acc)</math>的[[证明论序数]]
+[[证明论序数]]：<math>\rm \Delta_1^1-CR</math>，<math>\rm RCA_0^*+\Pi_1^1-CA^-</math>，<math>\rm \Sigma_1^1-DC_0</math>，<math>\rm ID_1^\#</math>，<math>\rm EM_0+JR</math>，<math>\rm PID</math>，<math>\rm Acc-ID(Acc)</math>，<math>\rm (\Pi_0^0(P),P\cup N)-ID</math>，<math>\rm (\Pi_0^0(P),P\land N)-ID(Acc)</math>
-== 极限在此处的记号 ==
+极限在此处的记号：[[长初等序列|LPrSS]]，[[序数超运算]]，0-IUN，NAN
+[[分类:序数]]
-{| class="wikitable"
-|+ 记号
-|-
-| [[长初等序列|LPrSS]]
-|}