LCO - 版本历史

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

2025-08-26T08:25:51Z

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

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

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

2025-08-26T08:23:00Z

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

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

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

2025-08-25T05:29:23Z

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

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

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

2025-08-17T02:41:54Z

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

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

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

2025-08-17T02:26:46Z

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

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

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

2025-08-17T02:09:43Z

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

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

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

2025-07-28T14:52:04Z

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

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

			极限在此处的记号：ζ 函数
	[[分类:序数]]		[[分类:序数]]

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

2025-07-27T05:28:17Z

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

	~~== 性质 ==~~		[[分类:序数]]


	~~== 极限在此处的记号 ==~~

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

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

2025-07-11T02:48:23Z

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

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

2025-07-11T02:30:31Z

←上一版本		2025年7月11日 (五) 10:30的版本
第12行：		第12行：
	\|-		\|-
	\|[[OCF#BOCF\|BOCF]]		\|[[OCF#BOCF\|BOCF]]
	\|<math>\psi(\Omega^3)/\psi(\psi_1(0)^3)</math>		\|<math>\psi(\Omega^3)/\psi(\psi_1(\psi_1(0)\times2))</math>
	\|-		\|-
	\|[[OCF#MOCF\|MOCF]]		\|[[OCF#MOCF\|MOCF]]
第18行：		第18行：
	\|-		\|-
	\|[[BMS]]		\|[[BMS]]
	\|<math>\begin{pmatrix} 0 & 1 & 1 & 1 \\ 0 & 1 & 1 & 1 \end{pmatrix}</math>		\|<math>\begin{pmatrix} 0 & 1 & 2 & 2 \\ 0 & 1 & 1 & 1 \end{pmatrix}=(0,0)(1,1)(2,1)(2,1)</math>
	\|-		\|-
	\|[[长初等序列\|LPrSS]]		\|[[长初等序列\|LPrSS]]

LCO - 版本历史

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

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

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

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

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

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