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

集合論において、チャーチ・クリーネ順序数(チャーチ・クリーネじゅんじょすう、Church–Kleene ordinal) ω 1 C K {\displaystyle \omega _{1}^{\mathrm {CK} }} とは、アロンゾ・チャーチとスティーヴン・コール・クリーネから名付けられた巨大可算順序数の一種である。 再帰順序数全体の集合であり、最小の非再帰順序数である。

Source: Wikipedia — チャーチ・クリーネ順序数 (CC BY-SA 4.0)

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

集合論において、チャーチ・クリーネ順序数(チャーチ・クリーネじゅんじょすう、Church–Kleene ordinal) ω 1 C K {\displaystyle \omega _{1}^{\mathrm {CK} }} とは、アロンゾ・チャーチとスティーヴン・コール・クリーネから名付けられた巨大可算順序数の一種である。 再帰順序数全体の集合であり、最小の非再帰順序数である。

出典: Wikipedia「チャーチ・クリーネ順序数」 · CC BY-SA 4.0

この記事を共有: X · Bluesky
プライバシーポリシー