LAO - 版本历史

星汐镜Littlekk：链接重定向

2026-02-25T19:57:23Z

链接重定向

←上一版本		2026年2月26日 (四) 03:57的版本
第1行：		第1行：
	'''LAO（Linar Array Ordinal，线性数阵序数）'''，因在 [[googology]] 一度经典的线性数阵的极限是该[[序数]]而得名。		'''LAO（Linar Array Ordinal，线性数阵序数）'''，因在 [[Googology\|googology]] 一度经典的线性数阵的极限是该[[序数]]而得名。
	{\| class="wikitable"		{\| class="wikitable"
	\|+LAO		\|+LAO

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

2025-08-26T08:25:44Z

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

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

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

2025-08-26T08:23:49Z

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

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

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

2025-08-25T05:26:11Z

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

←上一版本		2025年8月25日 (一) 13:26的版本
第8行：		第8行：
	\|<math>\omega^\omega</math>		\|<math>\omega^\omega</math>
	\|-		\|-
	\|[[~~Veblen函数\|~~Veblen 函数]]		\|[[Veblen 函数]]
	\|<math>\varphi(\varphi(1))</math>		\|<math>\varphi(\varphi(1))</math>
	\|-		\|-

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

2025-08-17T02:40:07Z

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

←上一版本		2025年8月17日 (日) 10:40的版本
第47行：		第47行：
	\|<math>\psi(\Omega_2)</math>		\|<math>\psi(\Omega_2)</math>
	\|-		\|-
	\|[[Dropping ~~Hydra~~#M 记号\|M 记号]]		\|[[Dropping#M 记号\|M 记号]]
	\|<math>\psi(\psi(1))</math>		\|<math>\psi(\psi(1))</math>
	\|}		\|}

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

2025-08-17T02:27:36Z

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

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

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

2025-08-17T02:11:57Z

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

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

2025-07-28T14:40:19Z

←上一版本		2025年7月28日 (一) 22:40的版本
第1行：		第1行：
	'''LAO（Linar Array Ordinal，线性数阵序数）'''~~，因在googology一度经典的线性数阵的极限是它而得名~~		'''LAO（Linar Array Ordinal，线性数阵序数）'''，因在 [[googology]] 一度经典的线性数阵的极限是该[[序数]]而得名。
	{\| class="wikitable"		{\| class="wikitable"
	\|+LAO		\|+LAO
	!记号		![[序数记号]]
	!表达式		!表达式
	\|-		\|-
	\|~~[[序数]]~~		\|常用表示
	\|<math>\omega^\omega</math>		\|<math>\omega^\omega</math>
	\|-		\|-
	\|[[veblen函数]]		\|[[veblen函数\|Veblen 函数]]
	\|<math>\varphi(\varphi(1))</math>		\|<math>\varphi(\varphi(1))</math>
	\|-		\|-
第29行：		第29行：
	\|<math>1,2,3</math>		\|<math>1,2,3</math>
	\|-		\|-
	\|[[Y序列]]		\|[[Y序列\|1-Y]]
	\|<math>1,2,3</math>		\|<math>1,2,3</math>
	\|-		\|-
第35行：		第35行：
	\|<math>\psi^H_1(\psi^H_1(1))</math>		\|<math>\psi^H_1(\psi^H_1(1))</math>
	\|-		\|-
	\|[[weak veblen函数]]		\|[[weak veblen函数\|weak Veblen 函数]]
	\|<math>\varphi(\omega,0)</math>		\|<math>\varphi(\omega,0)</math>
	\|-		\|-
第47行：		第47行：
	\|<math>\psi(\Omega_2)</math>		\|<math>\psi(\Omega_2)</math>
	\|-		\|-
	\|[[~~M记号~~]]		\|[[Dropping Hydra#M 记号\|M 记号]]
	\|<math>\psi(\psi(1))</math>		\|<math>\psi(\psi(1))</math>
	\|}		\|}

	== 性质 ==		=== 性质 ===
			LAO 是 [[增长层级#快速增长层级\|FGH]] 和 [[增长层级#中速增长层级\|MGH]] 的第一个 [[Catching]] 点。

	LAO是算术论体系 <math>RCA_0</math>、<math>WKL_0</math>、<math>PRA</math>、<math>RCA_0^2</math>,集合论体系<math>CPRC</math>、<math>KP^-+\Pi_1^{set}-Foundation+IND</math> 的[[证明论序数]]
	~~== 极限在此处的记号 ==~~

	{~~\| class="wikitable"~~		证明论序数：<math>\rm RCA_0</math>，<math>\rm WKL_0</math>，<math>\rm PRA</math>，<math>\rm RCA_0^2</math>，<math>\rm CPRC</math>，<math>\rm KP^-+\Pi_1^{set}-Foundation+IND</math>
	\|+ 记号
	\|-
	~~\| [[线性数阵]]~~
	\|}

			极限在此处的记号：[[线性数阵]]，(-2)-Y，TmAF
	[[分类:序数]]		[[分类:序数]]

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

2025-07-27T05:27:52Z

←上一版本		2025年7月27日 (日) 13:27的版本
第1行：		第1行：
	'''~~LAO(LAO，Linar~~ Array ~~Ordinal，线性数阵序数)~~'''，因在googology一度经典的线性数阵的极限是它而得名		'''LAO（Linar Array Ordinal，线性数阵序数）'''，因在googology一度经典的线性数阵的极限是它而得名
	{\| class="wikitable"		{\| class="wikitable"
	\|+LAO		\|+LAO
第53行：		第53行：
	== 性质 ==		== 性质 ==

	LAO是算术论体系<math>RCA_0</math>、<math>WKL_0</math>、<math>PRA</math>、<math>RCA_0^2</math>,集合论体系<math>CPRC</math>、<math>KP^-+\Pi_1^{set}-Foundation+IND</math>的[[证明论序数]]		LAO是算术论体系 <math>RCA_0</math>、<math>WKL_0</math>、<math>PRA</math>、<math>RCA_0^2</math>,集合论体系<math>CPRC</math>、<math>KP^-+\Pi_1^{set}-Foundation+IND</math> 的[[证明论序数]]
	== 极限在此处的记号 ==		== 极限在此处的记号 ==

第61行：		第61行：
	\| [[线性数阵]]		\| [[线性数阵]]
	\|}		\|}

			[[分类:序数]]

QWQ-bili：修正谬误

2025-07-14T01:10:10Z

修正谬误

←上一版本		2025年7月14日 (一) 09:10的版本
第14行：		第14行：
	\|<math>\psi(\psi(0))</math>		\|<math>\psi(\psi(0))</math>
	\|-		\|-
	\|[[~~Beklemishev's Worm~~\|~~Worm序列~~]]		\|[[初等序列系统\|PrSS]]
	\|<math>1,2,3</math>		\|<math>0,1,2</math>
	\|-		\|-
	\|[[BMS]]		\|[[BMS]]

LAO - 版本历史

星汐镜Littlekk：​链接重定向

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

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

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

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

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