Loading AI tools
ウィキペディアから
集合論において、順序数 α が許容順序数(きょようじゅんじょすう)であるとは、Lα が許容集合(すなわちKripke–Platek集合論の推移的内部モデル)であるときをいう。言い換えれば、α が許容順序数かつ Lα⊧Σ0-系であるときに α が許容されるという[1][2]。
最初の2つの許容順序数は ω と ω1CK (最小の非再帰的順序数、チャーチ・クリーネ順序数とも呼ばれる)である[2]。 任意の非可算な正則基数は許容順序数である。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.