Wikiwand AI

許容順序数

From Wikipedia, the free encyclopedia

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

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

Related Articles

Timelines

Top Qs

Fact Checks