\(\varepsilon_0\) 是一個可數序數，它是函數\(\alpha\mapsto\omega^{\alpha}\) 的第一個不動點
\(\varepsilon_0\)等於\(\varphi(1,0)\) (凡勃倫函數[英語]) 或 \(\psi_0(\Omega)\) (布克霍爾茲的psi函數[英語]) 或 \(C(\Omega,0)\) (塔拉諾夫斯基的C[英語])
Epsilon函數[]
- \(\varepsilon_0=\text{min}\{\alpha|\alpha=\omega^\alpha\}=\text{sup}\{0,1,\omega, \omega^\omega, \omega^{\omega^\omega},...\}\)
- \(\varepsilon_{\alpha+1}=\text{min}\{\beta|\beta=\omega^\beta\wedge\beta>\varepsilon_\alpha\}=\text{sup}\{\varepsilon_\alpha+1,\omega^{\varepsilon_\alpha+1}, \omega^{\omega^{\varepsilon_\alpha+1}},...\}\)
- \(\varepsilon_{\alpha}=\text{sup}\{\varepsilon_{\beta}|\beta<\alpha\}\) 如果 \(\alpha\) 是一個極限序數.
參見[]
基礎： 基數 · 普通函數 · 序符號 · 序數
理論： 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