SVO - 版本历史

2026年7月31日 (五) 20:00 量子杰克

2026-07-31T20:00:56Z

←上一版本		2026年8月1日 (六) 04:00的版本
第11行：		第11行：
	\|-		\|-
	\|[[BMS]]		\|[[BMS]]
	\|<math>\left(\begin{smallmatrix}0&1&2&3&4\\0&1&1&1&0\end{smallmatrix} \right)=(0,0)(1,1)(2,1)(3,1)(4)</math>		\|<math>\left(\begin{smallmatrix}0&1&2&3&4\\0&1&1&1&0\end{smallmatrix} \right)=(0)(1,1)(2,1)(3,1)(4)</math>
	\|-		\|-
	\|[[超初等序列\|HPrSS]] / [[0-Y]]		\|[[超初等序列\|HPrSS]] / [[0-Y]]

2026年7月31日 (五) 19:59 量子杰克

2026-07-31T19:59:30Z

←上一版本		2026年8月1日 (六) 03:59的版本
第11行：		第11行：
	\|-		\|-
	\|[[BMS]]		\|[[BMS]]
	\|<math>\left(\begin{smallmatrix}0&1&2&3&4\\0&1&1&1&0\end{smallmatrix} \right)=(0,0)(1,1)(2,1)(3,1)(4,0)</math>		\|<math>\left(\begin{smallmatrix}0&1&2&3&4\\0&1&1&1&0\end{smallmatrix} \right)=(0,0)(1,1)(2,1)(3,1)(4)</math>
	\|-		\|-
	\|[[超初等序列\|HPrSS]]/[[0-Y]]		\|[[超初等序列\|HPrSS]] / [[0-Y]]
	\|<math>1,3,5,7,8</math>		\|<math>1,3,5,7,8</math>
	\|-		\|-
	\|[[Y序列\|1-Y]]		\|[[Y序列\|1-Y]] / [[ω-Y]]
	\|<math>1,2,4,6,8,9</math>		\|<math>1,2,4,6,8,9</math>
	\|-		\|-
第37行：		第37行：
	\|<math>\psi(\psi(M+\psi(M+\psi(M+1))))</math>		\|<math>\psi(\psi(M+\psi(M+\psi(M+1))))</math>
	\|-		\|-
	\| ~~+ω法[[序数超运算]]~~		\| FOS
	\|<math>\omega\{\~~Omega^~~\~~omega\}\omega~~</math>		\|<math>0,1,\omega,\omega2,\omega3,\omega3+1</math>
	\|}		\|}

2026年7月20日 (一) 01:39 量子杰克

2026-07-20T01:39:41Z

←上一版本		2026年7月20日 (一) 09:39的版本
第36行：		第36行：
	\|[[Dropping#M 记号\|M 记号]]		\|[[Dropping#M 记号\|M 记号]]
	\|<math>\psi(\psi(M+\psi(M+\psi(M+1))))</math>		\|<math>\psi(\psi(M+\psi(M+\psi(M+1))))</math>
			\|-
			\| +ω法[[序数超运算]]
			\|<math>\omega\{\Omega^\omega\}\omega</math>
	\|}		\|}

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

2025-08-26T08:27:26Z

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

←上一版本		2025年8月26日 (二) 16:27的版本
第22行：		第22行：
	\|<math>\psi^{\text{H}}_1(\psi^{\text{H}}_2(\psi^{\text{H}}_2(\psi^{\text{H}}_2(1))))</math>		\|<math>\psi^{\text{H}}_1(\psi^{\text{H}}_2(\psi^{\text{H}}_2(\psi^{\text{H}}_2(1))))</math>
	\|-		\|-
	\|[[~~weak Veblen 函数\|~~weak Veblen 函数]]		\|[[weak Veblen 函数]]
	\| \(\varphi(1\text{@}(1\text{@}\omega))\)		\| \(\varphi(1\text{@}(1\text{@}\omega))\)
	\|-		\|-

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

2025-08-26T08:24:55Z

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

←上一版本		2025年8月26日 (二) 16:24的版本
第22行：		第22行：
	\|<math>\psi^{\text{H}}_1(\psi^{\text{H}}_2(\psi^{\text{H}}_2(\psi^{\text{H}}_2(1))))</math>		\|<math>\psi^{\text{H}}_1(\psi^{\text{H}}_2(\psi^{\text{H}}_2(\psi^{\text{H}}_2(1))))</math>
	\|-		\|-
	\|[[~~Weak~~ Veblen 函数\|weak Veblen 函数]]		\|[[weak Veblen 函数\|weak Veblen 函数]]
	\| \(\varphi(1\text{@}(1\text{@}\omega))\)		\| \(\varphi(1\text{@}(1\text{@}\omega))\)
	\|-		\|-

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

2025-08-25T05:30:09Z

←上一版本		2025年8月25日 (一) 13:30的版本
第41行：		第41行：
	[[证明论序数]]： <math>\rm ACA_{0}+\Pi_{2}^{1}-BI</math>，<math>\rm \Pi_{1}^{1}-RFN</math>，<math>\rm KP\omega^{-}+\Pi_{2}^{set}-Foundation</math>，<math>\rm RCA_0^*+\Pi_1^1-CA^-</math>，<math>\rm p_3(ACA_0)</math>，<math>\rm FIT</math>，<math>\rm TID</math>		[[证明论序数]]： <math>\rm ACA_{0}+\Pi_{2}^{1}-BI</math>，<math>\rm \Pi_{1}^{1}-RFN</math>，<math>\rm KP\omega^{-}+\Pi_{2}^{set}-Foundation</math>，<math>\rm RCA_0^*+\Pi_1^1-CA^-</math>，<math>\rm p_3(ACA_0)</math>，<math>\rm FIT</math>，<math>\rm TID</math>

	极限在此处的记号：[[~~Veblen函数~~#有限元_Veblen_函数\|有限元 Veblen 函数]]，[[TREE函数\|tree 函数]]，Kruskal 树定理，Bird’s θ		极限在此处的记号：[[Veblen 函数#有限元_Veblen_函数\|有限元 Veblen 函数]]，[[TREE函数\|tree 函数]]，Kruskal 树定理，Bird’s θ
	[[分类:序数]]		[[分类:序数]]

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

2025-08-25T05:29:13Z

←上一版本		2025年8月25日 (一) 13:29的版本
第1行：		第1行：
	SVO（Small Veblen's Ordinal），是[[~~Veblen函数~~#有限元_Veblen_函数\|有限元 Veblen 函数]]的极限的[[序数]]。		SVO（Small Veblen's Ordinal），是[[Veblen 函数#有限元_Veblen_函数\|有限元 Veblen 函数]]的极限的[[序数]]。
	{\| class="wikitable"		{\| class="wikitable"
	![[序数记号]]		![[序数记号]]
	!表达式		!表达式
	\|-		\|-
	\|[[~~Veblen函数\|~~Veblen 函数]]		\|[[Veblen 函数]]
	\| \(\varphi(1\text{@}\omega)\)		\| \(\varphi(1\text{@}\omega)\)
	\|-		\|-

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

2025-08-17T02:39:18Z

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

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

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

2025-08-17T02:25:51Z

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

←上一版本		2025年8月17日 (日) 10:25的版本
第4行：		第4行：
	!表达式		!表达式
	\|-		\|-
	\|[[~~veblen函数~~\|Veblen 函数]]		\|[[Veblen函数\|Veblen 函数]]
	\| \(\varphi(1\text{@}\omega)\)		\| \(\varphi(1\text{@}\omega)\)
	\|-		\|-

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

2025-08-17T02:08:55Z

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

←上一版本		2025年8月17日 (日) 10:08的版本
第22行：		第22行：
	\|<math>\psi^{\text{H}}_1(\psi^{\text{H}}_2(\psi^{\text{H}}_2(\psi^{\text{H}}_2(1))))</math>		\|<math>\psi^{\text{H}}_1(\psi^{\text{H}}_2(\psi^{\text{H}}_2(\psi^{\text{H}}_2(1))))</math>
	\|-		\|-
	\|[[~~weak veblen函数~~\|weak Veblen 函数]]		\|[[Weak Veblen 函数\|weak Veblen 函数]]
	\| \(\varphi(1\text{@}(1\text{@}\omega))\)		\| \(\varphi(1\text{@}(1\text{@}\omega))\)
	\|-		\|-

SVO - 版本历史

2026年7月31日 (五) 20:00 量子杰克

2026年7月31日 (五) 19:59 量子杰克

2026年7月20日 (一) 01:39 量子杰克

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

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