FANDOM


\(\psi_0(\Omega_\omega)\) は大きな可算順序数である。二階算術のサブシステムである \(\Pi_1^1\)-\(\text{CA}_0\) の証明論的順序数である。

サブキュービックグラフ関数急増加関数で \(f_{\psi_0(\Omega_{\omega})}\) の増加速度である。ブーフホルツのヒドラから \(\omega\) のラベルを除いたものと、Chris BirdU関数[1]も同じ増加速度である。

この順序数は、緩成長階層が急増加関数と等しくなる最初の順序数である。

出典 編集

  1. Bird, Chris. Fast-Growing Hierarchy in terms of Bird's Array Notation

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki