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

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

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

関連項目 
 極限順序数

脚注

参考文献 

 

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