チャーチ・クリーネ順序数
ナビゲーションに移動
検索に移動
集合論において、チャーチ・クリーネ順序数（チャーチ・クリーネじゅんじょすう、Church–Kleene ordinal） とは、アロンゾ・チャーチとスティーヴン・コール・クリーネから名付けられたテンプレート:仮リンクの一種である。テンプレート:仮リンク全体の集合であり、最小の非再帰順序数である。また、テンプレート:仮リンクである最初の順序数であり、ω よりも大きい最初の許容順序数である。
巨大数論において、チャーチ・クリーネ順序数をテンプレート:仮リンクに与えることによってビジービーバー関数を近似できるとされているテンプレート:Sfn。