Lαが(すなわちKripke-Platek集合論のtransive model……">
|
集合論において、Lαが(すなわちKripke-Platek集合論のtransive model)であれば順序数αは許容順序数(きょようじゅんじょすう)である。言い換えれば、αが許容順序数かつLα⊧Σ0-系であるときにαが許容されるという〔. See in particular p. 265 .〕〔.〕。 最初の2つの許容順序数は ω と(最小の非再帰的順序数、チャーチ・クリーネ順序数とも呼ばれる)である〔。 任意の非可算な正則な基数は許容順序数である。 ==脚注== 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「許容順序数」の詳細全文を読む スポンサード リンク
|