FANDOM


\(\psi_0(\varepsilon_{\Omega_\omega + 1})\)(竹内・フェファーマン・ブーフホルツ順序数 Takeuti-Feferman-Buchholz ordinal と呼ばれる)は大きい可算順序数である。これは\(\Pi_1^1\)-\(\text{CA}\)+\(\text{BI}\)の強さを測る証明論的順序数で、2階算術のサブシステムである。

\(\omega\)ラベルのブーフホルツのヒドラの強さを計測する順序数でもあり、SCGの上限である。

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


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

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

FANDOMでも見てみる

おまかせWiki