CO - 版本历史

2025年8月26日 (二) 08:26 Tabelog

2025-08-26T08:26:35Z

←上一版本		2025年8月26日 (二) 16:26的版本
第35行：		第35行：
	\|<math>\psi^H_1(\psi^H_2(\psi^H_2(0)))</math>		\|<math>\psi^H_1(\psi^H_2(\psi^H_2(0)))</math>
	\|-		\|-
	\|[[~~weak Veblen 函数\|~~weak Veblen 函数]]		\|[[weak Veblen 函数]]
	\|<math>\varphi(1,0,0,0)</math>		\|<math>\varphi(1,0,0,0)</math>
	\|-		\|-

Tabelog：文字替换 -“Weak Veblen 函数”替换为“weak Veblen 函数”

2025-08-26T08:25:48Z

文字替换 -“Weak Veblen 函数”替换为“weak Veblen 函数”

←上一版本		2025年8月26日 (二) 16:25的版本
第35行：		第35行：
	\|<math>\psi^H_1(\psi^H_2(\psi^H_2(0)))</math>		\|<math>\psi^H_1(\psi^H_2(\psi^H_2(0)))</math>
	\|-		\|-
	\|[[~~Weak~~ Veblen 函数\|weak Veblen 函数]]		\|[[weak Veblen 函数\|weak Veblen 函数]]
	\|<math>\varphi(1,0,0,0)</math>		\|<math>\varphi(1,0,0,0)</math>
	\|-		\|-

2025年8月25日 (一) 05:32 Tabelog

2025-08-25T05:32:32Z

←上一版本		2025年8月25日 (一) 13:32的版本
第8行：		第8行：
	\|<math>\zeta_0</math>		\|<math>\zeta_0</math>
	\|-		\|-
	\|[[~~Veblen函数\|~~Veblen 函数]]		\|[[Veblen 函数]]
	\|<math>\varphi(2,0)</math>		\|<math>\varphi(2,0)</math>
	\|-		\|-

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

2025-08-17T02:43:46Z

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

←上一版本		2025年8月17日 (日) 10:43的版本
第47行：		第47行：
	\|<math>\psi(\Omega_{\omega^2})/\psi(\Omega_{\psi(\psi_1(\psi_1(0)))})</math>		\|<math>\psi(\Omega_{\omega^2})/\psi(\Omega_{\psi(\psi_1(\psi_1(0)))})</math>
	\|-		\|-
	\|[[Dropping ~~Hydra~~#M 记号\|M 记号]]		\|[[Dropping#M 记号\|M 记号]]
	\|<math>\psi(\psi(M+\psi(M)))</math>		\|<math>\psi(\psi(M+\psi(M)))</math>
	\|}		\|}

Tabelog：文字替换 -“veblen函数”替换为“Veblen函数”

2025-08-17T02:26:22Z

文字替换 -“veblen函数”替换为“Veblen函数”

←上一版本		2025年8月17日 (日) 10:26的版本
第8行：		第8行：
	\|<math>\zeta_0</math>		\|<math>\zeta_0</math>
	\|-		\|-
	\|[[~~veblen函数~~\|Veblen 函数]]		\|[[Veblen函数\|Veblen 函数]]
	\|<math>\varphi(2,0)</math>		\|<math>\varphi(2,0)</math>
	\|-		\|-

Tabelog：文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”

2025-08-17T02:09:22Z

文字替换 -“weak veblen函数”替换为“Weak Veblen 函数”

←上一版本		2025年8月17日 (日) 10:09的版本
第35行：		第35行：
	\|<math>\psi^H_1(\psi^H_2(\psi^H_2(0)))</math>		\|<math>\psi^H_1(\psi^H_2(\psi^H_2(0)))</math>
	\|-		\|-
	\|[[~~weak veblen函数~~\|weak Veblen 函数]]		\|[[Weak Veblen 函数\|weak Veblen 函数]]
	\|<math>\varphi(1,0,0,0)</math>		\|<math>\varphi(1,0,0,0)</math>
	\|-		\|-

2025年7月28日 (一) 14:49 Tabelog

2025-07-28T14:49:58Z

←上一版本		2025年7月28日 (一) 22:49的版本
第1行：		第1行：
	'''CO（Cantor Ordinal）'''		'''CO（Cantor Ordinal）'''是一个[[序数]]。
	[[文件:Ζ.jpg\|缩略图\|图片仅供参考]]		[[文件:Ζ.jpg\|缩略图\|图片仅供参考]]
	{\| class="wikitable"		{\| class="wikitable"
第51行：		第51行：
	\|}		\|}

	== 性质 ==		=== 性质 ===
	[[证明论序数]]：<math>{\rm ACA_0}+\forall X\exists Y({\rm TJ}(\omega,X,Y))</math>，<math>\rm ACA_0+(BR)</math>，<math>\rm p_1(ACA_0)</math>		[[证明论序数]]：<math>{\rm ACA_0}+\forall X\exists Y({\rm TJ}(\omega,X,Y))</math>，<math>\rm ACA_0+(BR)</math>，<math>\rm p_1(ACA_0)</math>

2025年7月28日 (一) 14:48 Tabelog

2025-07-28T14:48:24Z

←上一版本		2025年7月28日 (一) 22:48的版本
第1行：		第1行：
			'''CO（Cantor Ordinal）'''
	[[文件:Ζ.jpg\|缩略图\|图片仅供参考]]		[[文件:Ζ.jpg\|缩略图\|图片仅供参考]]
	~~'''CO（Cantor Ordinal）'''~~
	{\| class="wikitable"		{\| class="wikitable"
	!记号		![[序数记号]]
	!表达式		!表达式
	\|-		\|-
	\|~~[[序数]]~~		\|常用表示
	\|<math>\zeta_0</math>		\|<math>\zeta_0</math>
	\|-		\|-
	\|[[veblen函数]]		\|[[veblen函数\|Veblen 函数]]
	\|<math>\varphi(2,0)</math>		\|<math>\varphi(2,0)</math>
	\|-		\|-
第29行：		第29行：
	\|<math>1,3,5</math>		\|<math>1,3,5</math>
	\|-		\|-
	\|[[Y序列]]		\|[[Y序列\|1-Y]]
	\|<math>1,2,4,4</math>		\|<math>1,2,4,4</math>
	\|-		\|-
第35行：		第35行：
	\|<math>\psi^H_1(\psi^H_2(\psi^H_2(0)))</math>		\|<math>\psi^H_1(\psi^H_2(\psi^H_2(0)))</math>
	\|-		\|-
	\|[[weak veblen函数]]		\|[[weak veblen函数\|weak Veblen 函数]]
	\|<math>\varphi(1,0,0,0)</math>		\|<math>\varphi(1,0,0,0)</math>
	\|-		\|-
第47行：		第47行：
	\|<math>\psi(\Omega_{\omega^2})/\psi(\Omega_{\psi(\psi_1(\psi_1(0)))})</math>		\|<math>\psi(\Omega_{\omega^2})/\psi(\Omega_{\psi(\psi_1(\psi_1(0)))})</math>
	\|-		\|-
	\|[[~~M记号~~]]		\|[[Dropping Hydra#M 记号\|M 记号]]
	\|<math>\psi(\psi(M+\psi(M)))</math>		\|<math>\psi(\psi(M+\psi(M)))</math>
	\|}		\|}

	== 性质 ==		== 性质 ==
	~~CO 是算术论体系~~<math>ACA_0+\forall X\exists Y-(TJ(\omega,X,Y))</math>、<math>ACA_0+(BR)</math>、<math>p_1(ACA_0)</math> ~~的[[证明论序数]]。~~		[[证明论序数]]：<math>{\rm ACA_0}+\forall X\exists Y({\rm TJ}(\omega,X,Y))</math>，<math>\rm ACA_0+(BR)</math>，<math>\rm p_1(ACA_0)</math>

			极限在此处的记号：ε 函数，扩展多维数阵

	[[分类:序数]]		[[分类:序数]]

2025年7月27日 (日) 05:25 Tabelog

2025-07-27T05:25:18Z

←上一版本		2025年7月27日 (日) 13:25的版本
第1行：		第1行：
	[[文件:Ζ.jpg\|缩略图\|图片仅供参考]]		[[文件:Ζ.jpg\|缩略图\|图片仅供参考]]
	'''~~CO(Cantor Ordinal，康托尔序数)~~'''。		'''CO（Cantor Ordinal）'''
	{\| class="wikitable"		{\| class="wikitable"
	~~\|+CO~~
	!记号		!记号
	!表达式		!表达式
第53行：		第52行：

	== 性质 ==		== 性质 ==
	~~CO是算术论体系~~<math>ACA_0+\forall X\exists Y-(TJ(\omega,X,Y))</math>、<math>ACA_0+(BR)</math>、<math>p_1(ACA_0)</math>的[[证明论序数]]。		CO 是算术论体系<math>ACA_0+\forall X\exists Y-(TJ(\omega,X,Y))</math>、<math>ACA_0+(BR)</math>、<math>p_1(ACA_0)</math> 的[[证明论序数]]。

	~~== 极限在此处的记号 ==~~		[[分类:序数]]

	~~{\| class="wikitable"~~
	~~\|+ 记号~~
	\|}

2025年7月11日 (五) 02:47 Z

2025-07-11T02:47:03Z

←上一版本		2025年7月11日 (五) 10:47的版本
第1行：		第1行：
			[[文件:Ζ.jpg\|缩略图\|图片仅供参考]]
	'''CO(Cantor Ordinal，康托尔序数)'''。		'''CO(Cantor Ordinal，康托尔序数)'''。
	{\| class="wikitable"		{\| class="wikitable"