チャーチ・クリーネ順序数

集合論において、チャーチ・クリーネ順序数（チャーチ・クリーネじゅんじょすう、Church–Kleene ordinal） とは、アロンゾ・チャーチとスティーヴン・コール・クリーネから名付けられたの一種である。全体の集合であり、最小の非再帰順序数である。また、である最初の順序数であり、ω よりも大きい最初の許容順序数である。

巨大数論において、チャーチ・クリーネ順序数をに与えることによってビジービーバー関数を近似できるとされている。

 関連項目 
 極限順序数

 脚注 

 参考文献 



Category:順序数
Category:証明論
Category:数学に関する記事