TFBO - 版本历史

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

2025-08-30T14:09:50Z

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

←上一版本		2025年8月30日 (六) 22:09的版本
第23行：		第23行：
	\|<math>1,2,4,8,11,15</math>		\|<math>1,2,4,8,11,15</math>
	\|-		\|-
	\|[[~~Bashicu超矩阵\|~~BHM]]		\|[[BHM]]
	\|<math>\begin{pmatrix}		\|<math>\begin{pmatrix}
	0&1&1&2&1&1&2&2&3&1&2&3\\		0&1&1&2&1&1&2&2&3&1&2&3\\

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

2025-08-30T13:35:32Z

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

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

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

2025-08-17T02:39:13Z

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

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

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

2025-07-28T15:29:56Z

←上一版本		2025年7月28日 (一) 23:29的版本
第1行：		第1行：
	'''TFBO（Takeuti-Feferman-Buchholz ordinal）'''，是[[Buchholz Hydra]]~~的极限。~~		'''TFBO（Takeuti-Feferman-Buchholz ordinal）'''，是 [[Buchholz Hydra]] 的极限的[[序数]]。
	{\| class="wikitable"		{\| class="wikitable"
	~~\|+TFBO~~		![[序数记号]]
	!记号
	!表达式		!表达式
	\|-		\|-
第21行：		第20行：
	\|<math>1,4,6,9</math>		\|<math>1,4,6,9</math>
	\|-		\|-
	\|[[Y序列]]		\|[[Y序列\|1-Y]]
	\|<math>1,2,4,8,11,15</math>		\|<math>1,2,4,8,11,15</math>
	\|-		\|-
第35行：		第34行：
	\end{pmatrix}</math>		\end{pmatrix}</math>
	\|-		\|-
	\|[[~~M记号~~]]		\|[[Dropping Hydra#M 记号\|M 记号]]
	\|<math>\psi(\psi(M\times\omega+M))</math>		\|<math>\psi(\psi(M\times\omega+M))</math>
	\|}		\|}

	== 性质 ==		=== 性质 ===
	~~TFBO 是~~ <math>\rm\Pi^1_1-CA+BI</math> 的[[~~证明论序数~~]]。		[[证明论序数]]：<math>\rm\Pi^1_1-CA+BI</math>，<math>\rm KPl</math>，<math>\rm ID_\omega</math>，<math>\rm BID_\omega^2</math>

			极限在此处的记号：BPF，[[Buchholz Hydra]]，MPF，Feferman's θ

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

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

2025-07-27T05:30:01Z

←上一版本		2025年7月27日 (日) 13:30的版本
第1行：		第1行：
	'''~~TFBO(Takeuti~~-Feferman-Buchholz ~~ordinal)~~'''，是[[Buchholz Hydra]]的极限。		'''TFBO（Takeuti-Feferman-Buchholz ordinal）'''，是[[Buchholz Hydra]]的极限。
	{\| class="wikitable"		{\| class="wikitable"
	\|+TFBO		\|+TFBO
第40行：		第40行：

	== 性质 ==		== 性质 ==
	~~TFBO是~~<math>\rm\Pi^1_1-CA+BI</math>的[[证明论序数]]。		TFBO 是 <math>\rm\Pi^1_1-CA+BI</math> 的[[证明论序数]]。

			[[分类:序数]]

GaoKao：创建页面，内容为“'''TFBO(Takeuti-Feferman-Buchholz ordinal)'''，是Buchholz Hydra的极限。 {| class="wikitable" |+TFBO !记号 !表达式 |- |BOCF | $\psi(\Omega_{\omega+1})$ |- |MOCF | $\psi(\psi_\omega(0))$ |- |BMS | $\begin{pmatrix} 0&1&2&3\\ 0&1&1&2\\ 0&1&0&0 \end{pmatrix}$ |- |0-Y | $1,4,6,9$ |- |Y序列 | $1,2,4,8,11,15$ |- |Bashicu…”

2025-07-13T03:46:22Z

创建页面，内容为“'''TFBO(Takeuti-Feferman-Buchholz ordinal)'''，是Buchholz Hydra的极限。 {| class="wikitable" |+TFBO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{\omega+1})</math> |- |MOCF |<math>\psi(\psi_\omega(0))</math> |- |BMS |<math>\begin{pmatrix} 0&1&2&3\\ 0&1&1&2\\ 0&1&0&0 \end{pmatrix}</math> |- |0-Y |<math>1,4,6,9</math> |- |Y序列 |<math>1,2,4,8,11,15</math> |- |Bashicu…”

新页面

'''TFBO(Takeuti-Feferman-Buchholz ordinal)'''，是[[Buchholz Hydra]]的极限。
{| class="wikitable"
|+TFBO
!记号
!表达式
|-
|[[序数坍缩函数#BOCF|BOCF]]
|<math>\psi(\Omega_{\omega+1})</math>
|-
|[[序数坍缩函数#MOCF|MOCF]]
|<math>\psi(\psi_\omega(0))</math>
|-
|[[Bashicu矩阵|BMS]]
|<math>\begin{pmatrix}
0&1&2&3\\
0&1&1&2\\
0&1&0&0
\end{pmatrix}</math>
|-
|[[0-Y]]
|<math>1,4,6,9</math>
|-
|[[Y序列]]
|<math>1,2,4,8,11,15</math>
|-
|[[Bashicu超矩阵|BHM]]
|<math>\begin{pmatrix}
0&1&1&2&1&1&2&2&3&1&2&3\\
0&1&0&0&0&0&1&0&0&0&0&0
\end{pmatrix}</math>
|-
|[[BSM]]
|<math>\begin{pmatrix}
0&1&2&2&3&0&1&1&2&1&1&2
\end{pmatrix}</math>
|-
|[[M记号]]
|<math>\psi(\psi(M\times\omega+M))</math>
|}

== 性质 ==
TFBO是<math>\rm\Pi^1_1-CA+BI</math>的[[证明论序数]]。

TFBO - 版本历史

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

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

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

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

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

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

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

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