JO - 版本历史

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

2025-08-17T02:38:07Z

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

←上一版本		2025年8月17日 (日) 10:38的版本
第21行：		第21行：
	\|<math>p1(p3(p3(p2(p3))))</math>		\|<math>p1(p3(p3(p2(p3))))</math>
	\|-		\|-
	\|[[Dropping ~~Hydra~~#M 记号\|M 记号]]		\|[[Dropping#M 记号\|M 记号]]
	\|<math>p(p(M^2+M))</math>		\|<math>p(p(M^2+M))</math>
	\|-		\|-

2025年8月7日 (四) 15:03 Tabelog

2025-08-07T15:03:34Z

←上一版本		2025年8月7日 (四) 23:03的版本
第31行：		第31行：
	[[证明论序数]]：<math>\rm \Delta_2^1-CA+BI</math>，<math>\rm \Sigma_2^1-AC+BI</math>，<math>\rm KPi</math>，<math>{\rm KP}\beta</math>，<math>\rm CZF+REA</math>，<math>\rm T_0</math>		[[证明论序数]]：<math>\rm \Delta_2^1-CA+BI</math>，<math>\rm \Sigma_2^1-AC+BI</math>，<math>\rm KPi</math>，<math>{\rm KP}\beta</math>，<math>\rm CZF+REA</math>，<math>\rm T_0</math>

	~~极限在此处的记号：Jäger~~-Buchholz ~~函数，多维~~ Rathjen's Φ		极限在此处的记号：[[Jäger-Buchholz 函数]]，[[Rathjen's Φ\|多维 Rathjen's Φ]]

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

2025年8月7日 (四) 13:07 YourCpper

2025-08-07T13:07:17Z

←上一版本		2025年8月7日 (四) 21:07的版本
第18行：		第18行：
	\|<math>1,2,4,8,12,15,19</math>		\|<math>1,2,4,8,12,15,19</math>
	\|-		\|-
	\|ex-hydra		\|[[ex-hydra]]
	\|<math>p1(p3(p3(p2(p3))))</math>		\|<math>p1(p3(p3(p2(p3))))</math>
	\|-		\|-

2025年7月29日 (二) 11:27 Tabelog

2025-07-29T11:27:33Z

←上一版本		2025年7月29日 (二) 19:27的版本
第1行：		第1行：
	JO（Jäger's ~~Ordinal，雅格序数），是一个重要的~~[[序数]]。		JO（Jäger's Ordinal），是一个重要的[[序数]]。
	{\| class="wikitable"		{\| class="wikitable"
	![[序数记号]]		![[序数记号]]
第18行：		第18行：
	\|<math>1,2,4,8,12,15,19</math>		\|<math>1,2,4,8,12,15,19</math>
	\|-		\|-
	\|[[ex-hydra]]		\|ex-hydra
	\|<math>p1(p3(p3(p2(p3))))</math>		\|<math>p1(p3(p3(p2(p3))))</math>
	\|-		\|-

2025年7月29日 (二) 07:55 Tabelog

2025-07-29T07:55:31Z

←上一版本		2025年7月29日 (二) 15:55的版本
第24行：		第24行：
	\|<math>p(p(M^2+M))</math>		\|<math>p(p(M^2+M))</math>
	\|-		\|-
	\|[[投影]]		\|[[投影序数\|投影]]
	\|<math>\psi(\psi_\alpha(\Omega_{\alpha+1}\times\varepsilon_{\alpha+1}))</math>		\|<math>\psi(\psi_\alpha(\Omega_{\alpha+1}\times\varepsilon_{\alpha+1}))</math>
	\|}		\|}

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

2025-07-28T15:43:55Z

←上一版本		2025年7月28日 (一) 23:43的版本
第1行：		第1行：
	JO（Jäger's ~~Ordinal，雅格序数），是一个重要的序数。~~		JO（Jäger's Ordinal，雅格序数），是一个重要的[[序数]]。
	{\| class="wikitable"		{\| class="wikitable"
	~~\|+JO~~		![[序数记号]]
	!记号
	!表达式		!表达式
	\|-		\|-
第16行：		第15行：
	\|<math>1,4,7,9,12</math>		\|<math>1,4,7,9,12</math>
	\|-		\|-
	\|[[Y序列]]		\|[[Y序列\|1-Y]]
	\|<math>1,2,4,8,12,15,19</math>		\|<math>1,2,4,8,12,15,19</math>
	\|-		\|-
第22行：		第21行：
	\|<math>p1(p3(p3(p2(p3))))</math>		\|<math>p1(p3(p3(p2(p3))))</math>
	\|-		\|-
	\|[[~~M记号~~]]		\|[[Dropping Hydra#M 记号\|M 记号]]
	\|<math>p(p(M^2+M))</math>		\|<math>p(p(M^2+M))</math>
	\|-		\|-
第30行：		第29行：

	=== 性质 ===		=== 性质 ===
	~~JO 是~~ <math>\rm{~~KPi~~}</math> ~~的[[证明论序数]]。~~		[[证明论序数]]：<math>\rm \Delta_2^1-CA+BI</math>，<math>\rm \Sigma_2^1-AC+BI</math>，<math>\rm KPi</math>，<math>{\rm KP}\beta</math>，<math>\rm CZF+REA</math>，<math>\rm T_0</math>

			极限在此处的记号：Jäger-Buchholz 函数，多维 Rathjen's Φ

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

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

2025-07-27T05:27:27Z

←上一版本		2025年7月27日 (日) 13:27的版本
第30行：		第30行：

	=== 性质 ===		=== 性质 ===
	是<math>\rm{KPi}</math>~~的证明论序数~~		JO 是 <math>\rm{KPi}</math> 的[[证明论序数]]。

			[[分类:序数]]

YourCpper：创建页面，内容为“JO（Jäger's Ordinal，雅格序数），是一个重要的序数。 {| class="wikitable" |+JO !记号 !表达式 |- |BOCF | $\psi(\Omega_{I+1})$ |- |BMS | $\begin{pmatrix} 0 & 1 & 2 & 3 & 4\\ 0 & 1 & 1 & 1 & 2\\ 0 & 1 & 1 & 0 & 0\end{pmatrix}$ |- |0-Y | $1,4,7,9,12$ |- |Y序列 | $1,2,4,8,12,15,19$ |- |ex-hydra | $p1(p3(p3(p2(p3))))$ |- |M记号…”

2025-07-22T14:01:23Z

创建页面，内容为“JO（Jäger's Ordinal，雅格序数），是一个重要的序数。 {| class="wikitable" |+JO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{I+1})</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 & 3 & 4\\ 0 & 1 & 1 & 1 & 2\\ 0 & 1 & 1 & 0 & 0\end{pmatrix}</math> |- |0-Y |<math>1,4,7,9,12</math> |- |Y序列 |<math>1,2,4,8,12,15,19</math> |- |ex-hydra |<math>p1(p3(p3(p2(p3))))</math> |- |M记号…”

新页面

JO（Jäger's Ordinal，雅格序数），是一个重要的序数。
{| class="wikitable"
|+JO
!记号
!表达式
|-
|[[OCF#BOCF|BOCF]]
|<math>\psi(\Omega_{I+1})</math>
|-
|[[BMS]]
|<math>\begin{pmatrix} 0 & 1 & 2 & 3 & 4\\
0 & 1 & 1 & 1 & 2\\
0 & 1 & 1 & 0 & 0\end{pmatrix}</math>
|-
|[[0-Y]]
|<math>1,4,7,9,12</math>
|-
|[[Y序列]]
|<math>1,2,4,8,12,15,19</math>
|-
|[[ex-hydra]]
|<math>p1(p3(p3(p2(p3))))</math>
|-
|[[M记号]]
|<math>p(p(M^2+M))</math>
|-
|[[投影]]
|<math>\psi(\psi_\alpha(\Omega_{\alpha+1}\times\varepsilon_{\alpha+1}))</math>
|}

=== 性质 ===
是<math>\rm{KPi}</math>的证明论序数