許容順序数

From Wikipedia, the free encyclopedia

集合論において、順序数 α許容順序数(きょようじゅんじょすう)であるとは、Lα許容集合(すなわちKripke–Platek集合論英語版推移的内部モデル英語版)であるときをいう。言い換えれば、α が許容順序数かつ Lα⊧Σ0-系であるときに α が許容されるという[1][2]

最初の2つの許容順序数は ωω1CK (最小の非再帰的順序数英語版チャーチ・クリーネ順序数とも呼ばれる)である[2]。 任意の非可算正則基数は許容順序数である。

Related Articles

Wikiwand AI