LVO - 版本历史

Tabelog：文字替换 -“BMS”替换为“BMS”

2025-08-30T14:00:47Z

文字替换 -“BMS”替换为“BMS”

←上一版本		2025年8月30日 (六) 22:00的版本
第10行：		第10行：
	\|<math>\psi(\Omega^{\Omega^\Omega})</math>		\|<math>\psi(\Omega^{\Omega^\Omega})</math>
	\|-		\|-
	\|[[~~Bashicu矩阵\|~~BMS]]		\|[[BMS]]
	\|<math>\begin{pmatrix}		\|<math>\begin{pmatrix}
	0&1&2&3&4\\		0&1&2&3&4\\

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

2025-08-26T08:26:47Z

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

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

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

2025-08-26T08:23:55Z

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

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

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

2025-08-25T05:26:42Z

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

←上一版本		2025年8月25日 (一) 13:26的版本
第1行：		第1行：
	LVO（Large Veblen Ordinal，大维布伦[[序数]]），是[[~~Veblen函数~~#序数元_Veblen_函数\|序元 Veblen 函数]]的极限。		LVO（Large Veblen Ordinal，大维布伦[[序数]]），是[[Veblen 函数#序数元_Veblen_函数\|序元 Veblen 函数]]的极限。
	{\| class="wikitable"		{\| class="wikitable"
	![[序数记号]]		![[序数记号]]
第44行：		第44行：
	[[证明论序数]]：\|<math>\rm ACA+BI</math>，<math>\rm ACA_0+\Pi_1^1-CA^-</math>，<math>\rm \Pi_1^0-FXP_0</math>，<math>\rm KP</math>，<math>\rm KP+\Pi_2^{set}-Reflection</math>，<math>\rm KP+(BI^)</math>，<math>\rm KP+(ATR_0^)</math>，<math>\rm CZF</math>，<math>{\rm KP}\omega_2\upharpoonright+\Delta_1-{\rm CA}+s\Pi_1^1-{\rm ref}</math>，<math>\rm ID_1</math>，<math>\rm ID_1^2</math>，<math>\rm ML_1\ V</math>		[[证明论序数]]：\|<math>\rm ACA+BI</math>，<math>\rm ACA_0+\Pi_1^1-CA^-</math>，<math>\rm \Pi_1^0-FXP_0</math>，<math>\rm KP</math>，<math>\rm KP+\Pi_2^{set}-Reflection</math>，<math>\rm KP+(BI^)</math>，<math>\rm KP+(ATR_0^)</math>，<math>\rm CZF</math>，<math>{\rm KP}\omega_2\upharpoonright+\Delta_1-{\rm CA}+s\Pi_1^1-{\rm ref}</math>，<math>\rm ID_1</math>，<math>\rm ID_1^2</math>，<math>\rm ML_1\ V</math>

	极限在此处的记号：[[~~Veblen函数~~#序数元_Veblen_函数\|序元 Veblen 函数]]，[[BEAF\|带 & 的 BEAF]]		极限在此处的记号：[[Veblen 函数#序数元_Veblen_函数\|序元 Veblen 函数]]，[[BEAF\|带 & 的 BEAF]]
	[[分类:序数]]		[[分类:序数]]

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

2025-08-25T05:26:30Z

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

←上一版本		2025年8月25日 (一) 13:26的版本
第4行：		第4行：
	!表达式		!表达式
	\|-		\|-
	\|[[~~Veblen函数\|~~Veblen 函数]]		\|[[Veblen 函数]]
	\|\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha)\;\text{Fixed Point}\)		\|\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha)\;\text{Fixed Point}\)
	\|-		\|-

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

2025-08-17T02:43:59Z

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

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

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

2025-08-17T02:10:58Z

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

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

2025年7月28日 (一) 15:16 Tabelog

2025-07-28T15:16:41Z

←上一版本		2025年7月28日 (一) 23:16的版本
第1行：		第1行：
	~~LVO (Large~~ Veblen ~~Ordinal, 大维布伦序数)，是~~[[Veblen函数#序数元_Veblen_函数\|~~序数元~~ Veblen 函数]]的极限。		LVO（Large Veblen Ordinal，大维布伦[[序数]]），是[[Veblen函数#序数元_Veblen_函数\|序元 Veblen 函数]]的极限。
	{\| class="wikitable"		{\| class="wikitable"
	~~\|+LVO~~		![[序数记号]]
	!记号
	!表达式		!表达式
	\|-		\|-
	\|[[Veblen函数]]		\|[[Veblen函数\|Veblen 函数]]
	\|\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha)\;\text{Fixed Point}\)		\|\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha)\;\text{Fixed Point}\)
	\|-		\|-
第24行：		第23行：
	\|<math>1,3,5,7,9</math>		\|<math>1,3,5,7,9</math>
	\|-		\|-
	\|[[Y序列]]		\|[[Y序列\|1-Y]]
	\|<math>1,2,4,6,8,10</math>		\|<math>1,2,4,6,8,10</math>
	\|-		\|-
第30行：		第29行：
	\|<math>\psi^H_1(\psi^H_2(\psi^H_2(\psi^H_2(\psi^H_2(0)))))</math>		\|<math>\psi^H_1(\psi^H_2(\psi^H_2(\psi^H_2(\psi^H_2(0)))))</math>
	\|-		\|-
	\|[[weak veblen函数]]		\|[[weak veblen函数\|weak Veblen 函数]]
	\| \(\varphi(1\text{@}(1\text{@}(1,0)))\)		\| \(\varphi(1\text{@}(1\text{@}(1,0)))\)
	\|-		\|-
第38行：		第37行：
	\end{pmatrix}</math>		\end{pmatrix}</math>
	\|-		\|-
	\|[[~~M记号~~]]		\|[[Dropping Hydra#M 记号\|M 记号]]
	\|<math>\psi(\psi(M+\psi(M+\psi(M+\psi(M)))))</math>		\|<math>\psi(\psi(M+\psi(M+\psi(M+\psi(M)))))</math>
	\|}		\|}

	== ~~极限在此处的记号~~ ==		=== 性质 ===
			[[证明论序数]]：\|<math>\rm ACA+BI</math>，<math>\rm ACA_0+\Pi_1^1-CA^-</math>，<math>\rm \Pi_1^0-FXP_0</math>，<math>\rm KP</math>，<math>\rm KP+\Pi_2^{set}-Reflection</math>，<math>\rm KP+(BI^)</math>，<math>\rm KP+(ATR_0^)</math>，<math>\rm CZF</math>，<math>{\rm KP}\omega_2\upharpoonright+\Delta_1-{\rm CA}+s\Pi_1^1-{\rm ref}</math>，<math>\rm ID_1</math>，<math>\rm ID_1^2</math>，<math>\rm ML_1\ V</math>
	~~{\| class~~=~~"wikitable"~~
	~~\|+ 记号~~
	\|-
	\| [[~~Veblen函数#序数元_Veblen_函数\|序数元Veblen函数~~]]
	\|-
	~~\| [[BEAF\|带&的BEAF]]~~
	\|}

			极限在此处的记号：[[Veblen函数#序数元_Veblen_函数\|序元 Veblen 函数]]，[[BEAF\|带 & 的 BEAF]]
	[[分类:序数]]		[[分类:序数]]

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

2025-07-27T05:28:33Z

←上一版本		2025年7月27日 (日) 13:28的版本
第1行：		第1行：
	LVO (Large Veblen Ordinal, 大维布伦序数)，是[[Veblen函数#序数元_Veblen_函数\|~~序数元Veblen函数~~]]的极限。		LVO (Large Veblen Ordinal, 大维布伦序数)，是[[Veblen函数#序数元_Veblen_函数\|序数元 Veblen 函数]]的极限。
	{\| class="wikitable"		{\| class="wikitable"
	\|+LVO		\|+LVO
第51行：		第51行：
	\| [[BEAF\|带&的BEAF]]		\| [[BEAF\|带&的BEAF]]
	\|}		\|}

			[[分类:序数]]

QWQ-bili：添加“极限在此处的记号”

2025-07-08T22:31:47Z

添加“极限在此处的记号”

←上一版本		2025年7月9日 (三) 06:31的版本
第1行：		第1行：
	LVO (Large Veblen Ordinal, 大维布伦序数)~~，是序数元~~[[Veblen函数]]的极限。		LVO (Large Veblen Ordinal, 大维布伦序数)，是[[Veblen函数#序数元_Veblen_函数\|序数元Veblen函数]]的极限。
	{\| class="wikitable"		{\| class="wikitable"
	\|+LVO		\|+LVO
第29行：		第29行：
	\|[[PSS Hydra]]		\|[[PSS Hydra]]
	\|<math>\psi^H_1(\psi^H_2(\psi^H_2(\psi^H_2(\psi^H_2(0)))))</math>		\|<math>\psi^H_1(\psi^H_2(\psi^H_2(\psi^H_2(\psi^H_2(0)))))</math>
			\|-
			\|[[weak veblen函数]]
			\| \(\varphi(1\text{@}(1\text{@}(1,0)))\)
	\|-		\|-
	\|[[BSM]]		\|[[BSM]]
第37行：		第40行：
	\|[[M记号]]		\|[[M记号]]
	\|<math>\psi(\psi(M+\psi(M+\psi(M+\psi(M)))))</math>		\|<math>\psi(\psi(M+\psi(M+\psi(M+\psi(M)))))</math>
			\|}

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

			{\| class="wikitable"
			\|+ 记号
			\|-
			\| [[Veblen函数#序数元_Veblen_函数\|序数元Veblen函数]]
			\|-
			\| [[BEAF\|带&的BEAF]]
	\|}		\|}

LVO - 版本历史

Tabelog：​文字替换 -“BMS”替换为“BMS”

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

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

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

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

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

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