許容順序数
(Admissible ordinal から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/03/24 02:18 UTC 版)
集合論において、順序数 α が許容順序数（きょようじゅんじょすう）であるとは、Lα が許容集合（すなわちKripke–Platek集合論の推移的内部モデル）であるときをいう。言い換えれば、α が許容順序数かつ Lα⊧Σ0-系であるときに α が許容されるという[1][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, MR 791062. See in particular p. 265.
- ^ a b 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, MR 644315.
[続きの解説]
「許容順序数」の続きの解説一覧
- 1 許容順序数とは
- 2 許容順序数の概要
- 許容順序数のページへのリンク
