SCO - 版本历史

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

2025-08-26T08:27:25Z

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

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

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

2025-08-26T08:22:44Z

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

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

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

2025-08-25T05:30:56Z

←上一版本		2025年8月25日 (一) 13:30的版本
第10行：		第10行：
	\|<math>\varepsilon_0</math>		\|<math>\varepsilon_0</math>
	\|-		\|-
	\|[[~~Veblen函数\|~~Veblen 函数]]		\|[[Veblen 函数]]
	\|<math>\varphi(1,0)</math>		\|<math>\varphi(1,0)</math>
	\|-		\|-
第56行：		第56行：
	证明论序数：<math>\rm ACA_{0}</math>，<math>\rm KP^{-\infin}</math>，<math>\rm \Delta_{1}^{1}-CA_{0}</math>，<math>\rm \Sigma_{1}^{1}-AC_{0}</math>，<math>\rm \Pi_{0}^{1}-CA_{0}</math>，<math>\rm EM_{0}</math>，[[皮亚诺公理体系\|PA]]		证明论序数：<math>\rm ACA_{0}</math>，<math>\rm KP^{-\infin}</math>，<math>\rm \Delta_{1}^{1}-CA_{0}</math>，<math>\rm \Sigma_{1}^{1}-AC_{0}</math>，<math>\rm \Pi_{0}^{1}-CA_{0}</math>，<math>\rm EM_{0}</math>，[[皮亚诺公理体系\|PA]]

	极限在此处的记号：[[PrSS]]，[[Kirby-Paris Hydra#Hydra_函数\|Hydra 函数]]，[[Beklemishev's Worm\|Worm 序列]]，[[燃烧数]]，[[-1~~-Y\|(-1)~~-Y]]，[[Goodstein序列\|Goodstein 序列]]，Brace 数阵，多维数阵，Friedman 序列，级联 E 记号		极限在此处的记号：[[PrSS]]，[[Kirby-Paris Hydra#Hydra_函数\|Hydra 函数]]，[[Beklemishev's Worm\|Worm 序列]]，[[燃烧数]]，[[-1-Y]]，[[Goodstein序列\|Goodstein 序列]]，Brace 数阵，多维数阵，Friedman 序列，级联 E 记号

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

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

2025-08-17T02:43:46Z

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

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

2025年8月17日 (日) 02:27 Tabelog

2025-08-17T02:27:46Z

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

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

2025-08-17T02:07:12Z

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

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

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

2025-07-28T14:45:03Z

←上一版本		2025年7月28日 (一) 22:45的版本
第1行：		第1行：
			'''SCO（Small Cantor's Ordinal）'''，是一个重要的序数。它被认为是具有“里程碑”意义的一个序数。它也是 [[增长层级#快速增长层级\|FGH]] 和 [[增长层级#哈代层级\|HH]] 的第一个[[Catching\|追平点]]。

	[[文件:D9d74070393528d7b74a28c888717d2d2354dbd6.jpg\|缩略图\|（图片仅供参考）]]		[[文件:D9d74070393528d7b74a28c888717d2d2354dbd6.jpg\|缩略图\|（图片仅供参考）]]
	'''SCO（Small Cantor's Ordinal）'''，是一个重要的序数。它被认为是具有“里程碑”意义的一个序数。它也是 [[增长层级#快速增长层级\|FGH]] 和 [[增长层级#哈代层级\|HH]] 的第一个[[Catching\|追平点]]。
	{\| class="wikitable"		{\| class="wikitable"
	~~\|+SCO~~		![[序数记号]]
	!记号
	!表达式		!表达式
	\|-		\|-
	\|~~[[序数]]~~		\|常用表示
	\|<math>\varepsilon_0</math>		\|<math>\varepsilon_0</math>
	\|-		\|-
	\|[[veblen函数]]		\|[[veblen函数\|Veblen 函数]]
	\|<math>\varphi(1,0)</math>		\|<math>\varphi(1,0)</math>
	\|-		\|-
第30行：		第31行：
	\|<math>1,3</math>		\|<math>1,3</math>
	\|-		\|-
	\|[[Y序列]]		\|[[Y序列\|1-Y]]
	\|<math>1,2,4</math>		\|<math>1,2,4</math>
	\|-		\|-
第36行：		第37行：
	\|<math>\psi^H_1(\psi^H_2(0))</math>		\|<math>\psi^H_1(\psi^H_2(0))</math>
	\|-		\|-
	\|[[weak veblen函数]]		\|[[weak veblen函数\|weak Veblen 函数]]
	\|<math>\varphi(1,0,0)</math>		\|<math>\varphi(1,0,0)</math>
	\|-		\|-
第48行：		第49行：
	\|<math>\psi(\Omega_{\omega})/\psi(\Omega_{\psi(\Omega)})</math>		\|<math>\psi(\Omega_{\omega})/\psi(\Omega_{\psi(\Omega)})</math>
	\|-		\|-
	\|[[~~M记号~~]]		\|[[Dropping Hydra#M 记号\|M 记号]]
	\|<math>\psi(\psi(M))</math>		\|<math>\psi(\psi(M))</math>
	\|}		\|}

	== 性质 ==		=== 性质 ===
	~~SCO 是~~<math>\rm ACA_{0}</math>、<math>\rm KP^{-\infin}</math>、<math>\rm \Delta_{1}^{1}-CA_{0}</math>、<math>\rm \Sigma_{1}^{1}-AC_{0}</math>、<math>\rm \Pi_{0}^{1}-CA_{0}</math>、<math>\rm EM_{0}</math>和 [[皮亚诺公理体系~~#PA 公理体系~~\|PA]] ~~等公理体系的 [[证明论序数]]。~~		证明论序数：<math>\rm ACA_{0}</math>，<math>\rm KP^{-\infin}</math>，<math>\rm \Delta_{1}^{1}-CA_{0}</math>，<math>\rm \Sigma_{1}^{1}-AC_{0}</math>，<math>\rm \Pi_{0}^{1}-CA_{0}</math>，<math>\rm EM_{0}</math>，[[皮亚诺公理体系\|PA]]

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

	~~{\| class="wikitable"~~		极限在此处的记号：[[PrSS]]，[[Kirby-Paris Hydra#Hydra_函数\|Hydra 函数]]，[[Beklemishev's Worm\|Worm 序列]]，[[燃烧数]]，[[-1-Y\|(-1)-Y]]，[[Goodstein序列\|Goodstein 序列]]，Brace 数阵，多维数阵，Friedman 序列，级联 E 记号
	~~\|+ 记号~~
	\|-
	\| [[PrSS]]
	\|-
	\| [[Kirby-Paris Hydra#Hydra_函数\|~~Hydra函数~~]]
	\|-
	\| [[Beklemishev's Worm\|~~Worm序列~~]]
	\|-
	\| [[燃烧数]]
	\|-
	\| [[-1-Y\|(-1)-~~Y序列~~]]
	\|-
	\| [[Goodstein序列]]
	\|-
	~~\| [[Brace 数阵~~]]
	\|-
	~~\| [[多维数阵]]~~
	\|}

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

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

2025-07-27T05:29:02Z

←上一版本		2025年7月27日 (日) 13:29的版本
第1行：		第1行：
	[[文件:D9d74070393528d7b74a28c888717d2d2354dbd6.jpg\|缩略图\|（图片仅供参考）]]		[[文件:D9d74070393528d7b74a28c888717d2d2354dbd6.jpg\|缩略图\|（图片仅供参考）]]
	'''~~SCO(Small~~ Cantor's ~~Ordinal，小康托尔序数)~~'''，是一个重要的序数。它被认为是具有“里程碑”意义的一个序数。它也是 [[增长层级#快速增长层级\|FGH]] 和 [[增长层级#哈代层级\|HH]] 的第一个[[Catching\|追平点]]。		'''SCO（Small Cantor's Ordinal）'''，是一个重要的序数。它被认为是具有“里程碑”意义的一个序数。它也是 [[增长层级#快速增长层级\|FGH]] 和 [[增长层级#哈代层级\|HH]] 的第一个[[Catching\|追平点]]。
	{\| class="wikitable"		{\| class="wikitable"
	\|+SCO		\|+SCO
第76行：		第76行：
	\| [[多维数阵]]		\| [[多维数阵]]
	\|}		\|}

			[[分类:序数]]

2025年7月17日 (四) 03:21 Tabelog

2025-07-17T03:21:02Z

←上一版本		2025年7月17日 (四) 11:21的版本
第75行：		第75行：
	\|-		\|-
	\| [[多维数阵]]		\| [[多维数阵]]
	\|-
	~~\| [[Circle函数]]~~
	\|}		\|}

2025年7月17日 (四) 02:08 Tabelog

2025-07-17T02:08:28Z

←上一版本		2025年7月17日 (四) 10:08的版本
第53行：		第53行：

	== 性质 ==		== 性质 ==
	SCO 是<math>\rm ACA_{0}</math>、<math>\rm KP^{-\infin}</math>、<math>\rm \Delta_{1}^{1}-CA_{0}</math>、<math>\rm \Sigma_{1}^{1}-AC_{0}</math>、<math>\rm \Pi_{0}^{1}-CA_{0}</math>、<math>\rm EM_{0}</math>和 [[皮亚诺公理体系\|PA]] 等公理体系的 [[证明论序数]]。		SCO 是<math>\rm ACA_{0}</math>、<math>\rm KP^{-\infin}</math>、<math>\rm \Delta_{1}^{1}-CA_{0}</math>、<math>\rm \Sigma_{1}^{1}-AC_{0}</math>、<math>\rm \Pi_{0}^{1}-CA_{0}</math>、<math>\rm EM_{0}</math>和 [[皮亚诺公理体系#PA 公理体系\|PA]] 等公理体系的 [[证明论序数]]。

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