Belugafan1234(留言墙 | 贡献) 无编辑摘要 标签:可视化编辑 |
小 (Veblen's φ 没有ω個引數) |
||
第1行: | 第1行: | ||
{{Stub}} |
{{Stub}} |
||
− | '''小凡勃倫序'''(英語:'''small Veblen ordinal''')是\(\varphi(1, 0),\varphi(1, 0, 0),\varphi(1, 0, 0, 0),\varphi(1, 0, 0, 0, 0),\ldots\)序列的極限,也是\( \ |
+ | '''小凡勃倫序'''(英語:'''small Veblen ordinal''')是\(\varphi(1, 0),\varphi(1, 0, 0),\varphi(1, 0, 0, 0),\varphi(1, 0, 0, 0, 0),\ldots\)序列的極限,也是\( \sup_{n \in \omega} \varphi(\underbrace{1,0,……,0,0}_\omega) \)。其中\(\varphi\)是凡勃倫階層的多參數擴展。使用Weiermann的[[序符號|theta函數]]可以表示為\(\vartheta(\Omega^\omega)\)。 |
使用凡勃倫階層的超限擴展,它等於\(\varphi\left(\begin{array}{c}1\\ \omega\end{array}\right)\)。 |
使用凡勃倫階層的超限擴展,它等於\(\varphi\left(\begin{array}{c}1\\ \omega\end{array}\right)\)。 |
2022年7月19日 (二) 06:23的版本
小凡勃倫序(英語:small Veblen ordinal)是\(\varphi(1, 0),\varphi(1, 0, 0),\varphi(1, 0, 0, 0),\varphi(1, 0, 0, 0, 0),\ldots\)序列的極限,也是\( \sup_{n \in \omega} \varphi(\underbrace{1,0,……,0,0}_\omega) \)。其中\(\varphi\)是凡勃倫階層的多參數擴展。使用Weiermann的theta函數可以表示為\(\vartheta(\Omega^\omega)\)。
使用凡勃倫階層的超限擴展,它等於\(\varphi\left(\begin{array}{c}1\\ \omega\end{array}\right)\)。
參見
基礎: 基數 · 普通函數 · 序符號 · 序數
理論: Presburger arithmetic · 皮亞諾算術 · 二階算術 · ZFC
可數序: \(\omega\) · \(\varepsilon_0\) · \(\zeta_0\) · \(\eta_0\) ·\(\Gamma_0\) · \(\varphi(1,0,0,0)\)(阿克曼序) · \(\psi_0(\Omega^{\Omega^{\omega}})\)(小凡勃倫序) · \(\psi_0(\Omega^{\Omega^{\Omega}})\)(大凡勃倫序) · \(\psi_0(\varepsilon_{\Omega + 1}) = \psi_0(\Omega_2)\)(巴赫曼-霍華德序) · \(\psi_0(\Omega_{\omega})\)(用布赫霍爾茨的\(\psi\)函數) · \(\psi_0(\varepsilon_{\Omega_\omega + 1})\)(塔克第-費佛曼-布克霍爾茲序) · \(\omega_1^\mathfrak{Ch}\) · \(\omega_1^\text{CK}\)(丘奇-克萊尼序) · \(\lambda,\zeta,\Sigma,\gamma\)
非可數基數: \(\omega_1\) · omega fixed point · inaccessible cardinal \(I\) · Mahlo cardinal \(M\) · weakly compact cardinal \(K\) · indescribable cardinal · rank-into-rank cardinal