許容順序数 From Wikipedia, the free encyclopedia 集合論において、順序数 α が許容順序数(きょようじゅんじょすう)であるとは、Lα が許容集合(すなわちKripke–Platek集合論(英語版)の推移的内部モデル(英語版))であるときをいう。言い換えれば、α が許容順序数かつ Lα⊧Σ0-系であるときに α が許容されるという[1][2]。 最初の2つの許容順序数は ω と ω1CK (最小の非再帰的順序数(英語版)、チャーチ・クリーネ順序数とも呼ばれる)である[2]。 任意の非可算な正則基数は許容順序数である。 ↑ Friedman, Sy D. (1985), “Fine structure theory and its applications”, Recursion theory (Ithaca, N.Y., 1982), Proc. Sympos. Pure Math., 42, Amer. Math. Soc., Providence, RI, pp. 259–269, doi:10.1090/pspum/042/791062, MR791062 . See in particular p. 265. 1 2 Fitting, Melvin (1981), Fundamentals of generalized recursion theory, Studies in Logic and the Foundations of Mathematics, 105, North-Holland Publishing Co., Amsterdam-New York, p. 238, ISBN 0-444-86171-8, MR644315, https://books.google.co.jp/books?id=GRE7AAAAQBAJ&pg=PA238&redir_esc=y&hl=ja . この項目は、集合論に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:数学/Portal:数学)。表示編集 Related Articles