Skip to main content
SpringerLink
Log in

On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes

  • Conference paper
  • First Online:
⊨ISILC Logic Conference

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 499))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Barwise: Infinitary methods in the model theory of set theory. In: Logic Colloquium 69, Editors R.O. Gandy and C.M.E. Yates, Amsterdam 1971, pp 53–66.

    Google Scholar 

  2. R. Chuaqui: Forcing for the impredicative theory of classes, Journal of Symb. Logic 37 (1972), pp 1–18.

    Article  MATH  MathSciNet  Google Scholar 

  3. H. Friedman: Countable models of set theories, in Springer Lecture Notes 337.

    Google Scholar 

  4. W. Guzicki: Ph.D. thesis, Warsaw, 1973

    Google Scholar 

  5. J.L. Krivine, K. McAloon: Some true unprovable formulas for set theory In: Proceedings of the Bertrand Russel memorial Logic conference, Leeds 1973, pp 332–41

    Google Scholar 

  6. W. Marek: On the metamathematics of impredicative set theory. Diss. Math. XCVII.

    Google Scholar 

  7. W. Marek, M. Srebrny: Gaps in constructible universe, Annals of Math. Logic 6 (1974), pp 359–394

    Article  MATH  MathSciNet  Google Scholar 

  8. W. Marek, M. Srebrny: There is no minimal transitive model of Z−, to appear in Zeitschrift für Math. Logik.

    Google Scholar 

  9. W. Marek, P. Zbierski: On higher order set theories Bull. Acad. Pol. Sci. XXI (1973), pp 97–101

    MathSciNet  Google Scholar 

  10. W. Marek, P. Zbierski: A lemma on quantifier with applications, to appears

    Google Scholar 

  11. Y. Moschovakis: Predicative classes, in the Proceeding of Symposia AMS XIII 1. Editor D. Scott, Providence 1971, pp 247–264

    Google Scholar 

  12. A. Mostowski: Some impredicative definitions in set theory, Fundamenta Math. XXXIV (1947), pp

    Google Scholar 

  13. A. Mostowski: Models of ZF set theory satisfying..., Acta Phil. Fennica 18 (1965), pp. 135–144

    MATH  MathSciNet  Google Scholar 

  14. A. Mostowski: Constructible sets with applications, Amsterdam-Warszawa 1970.

    Google Scholar 

  15. A. Mostowski: Remarks on models of Gödel-Bernays set theory to appear in: Sets and Classes; Bernays memorial volume.

    Google Scholar 

  16. M. Nadel: Some Skolem-Löwenheim results for admissible sets. Israel Journal of Math. 12 (1972), pp 427–432.

    MATH  MathSciNet  Google Scholar 

  17. J. B. Paris: Minimal models of ZF. In: Proceedings of the Bertrand Russel memorial Logic conference, Leeds 1973, pp 327–331

    Google Scholar 

  18. G. Wilmers: An ℵ1—standard model of ZF set theory which is an element.... In Proceedings of the Bertrand Russel memorial Logic conference, Leeds 1973, pp 315–326

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Warszawa

    W. Marek & A. Mostowski

Authors
  1. W. Marek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Mostowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gert H. Müller Arnold Oberschelp Klaus Potthoff

Rights and permissions

Reprints and permissions

Copyright information

© 1975 Springer-Verlag

About this paper

Cite this paper

Marek, W., Mostowski, A. (1975). On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes. In: Müller, G.H., Oberschelp, A., Potthoff, K. (eds) ⊨ISILC Logic Conference. Lecture Notes in Mathematics, vol 499. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0079429

Download citation

  • DOI: https://doi.org/10.1007/BFb0079429

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07534-9

  • Online ISBN: 978-3-540-38022-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation