Lαが(すなわちKripke-Platek集合論のtransive model……">
|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 許 : [きょ, もと] 1. (adv) under (esp. influence or guidance) ・ 許容 : [きょよう] 1. (n,vs) permission 2. pardon ・ 順 : [じゅん] 1. (adj-na,n,n-suf) order 2. turn ・ 順序 : [じゅんじょ] 【名詞】 1. order 2. sequence 3. procedure ・ 序 : [ついで] 【名詞】 1. (uk) opportunity 2. occasion ・ 序数 : [じょすう] (n) an ordinal number ・ 数 : [すう, かず] 1. (n,n-suf) number 2. figure
集合論において、Lαが(すなわちKripke-Platek集合論のtransive model)であれば順序数αは許容順序数(きょようじゅんじょすう)である。言い換えれば、αが許容順序数かつLα⊧Σ0-系であるときにαが許容されるという〔. See in particular p. 265 .〕〔.〕。 最初の2つの許容順序数は ω と(最小の非再帰的順序数、チャーチ・クリーネ順序数とも呼ばれる)である〔。 任意の非可算な正則な基数は許容順序数である。 ==脚注== 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「許容順序数」の詳細全文を読む スポンサード リンク
|