Large models of countable height
HTML articles powered by AMS MathViewer
- by Harvey Friedman
- Trans. Amer. Math. Soc. 201 (1975), 227-239
- DOI: https://doi.org/10.1090/S0002-9947-1975-0416903-8
- PDF | Request permission
Abstract:
Eery countable transitive model $M$ of ZF (without choice) has an ordinal preserving extension satisfying ZF, of power ${ \sqsupset _{M \cap On}}$. An application to infinitary logic is given.References
- J. Barwise, Infinitary logic and admissible sets, Doctoral Dissertation, Stanford University, Stanford, Calif., 1967.
- Jon Barwise (ed.), The syntax and semantics of infinitary languages, Lecture Notes in Mathematics, No. 72, Springer-Verlag, Berlin-New York, 1968. MR 0234827
- Michael Morley, Omitting classes of elements, Theory of Models (Proc. 1963 Internat. Sympos. Berkeley), North-Holland, Amsterdam, 1965, pp. 265–273. MR 0201305
Bibliographic Information
- © Copyright 1975 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 201 (1975), 227-239
- MSC: Primary 02H05; Secondary 02K15
- DOI: https://doi.org/10.1090/S0002-9947-1975-0416903-8
- MathSciNet review: 0416903