Skip to main content

Axioms of choice in Morse-Kelley class theory

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

This is a preview of subscription content, access via your institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. BOFFA: Graphes extensionnels et axiome d'universalite. Zeit. f. math. Logik und Grund. d. Math., vol. 14 (1968), p. 329–334.

    MATH  MathSciNet  Google Scholar 

  2. R. CHUAQUI: Forcing for the impredicative theory of classes. The Jour. of Sym. Logic, vol. 37 (1972), p. 1–18.

    CrossRef  MATH  MathSciNet  Google Scholar 

  3. U. FELGNER: Models of ZF-set theory. Lecture Notes in Math., vol. 223, Springer Verlag, Berlin, Heidelberg, New York, 1971.

    MATH  Google Scholar 

  4. U. FELGNER: Comparison of the axioms of local and universal choice. Fund. Math., vol. 71 (1971), p. 43–62.

    MATH  MathSciNet  Google Scholar 

  5. U. FELGNER: Choice functions on sets and classes. To appear in the Bernays Festschrift, North Holland.

    Google Scholar 

  6. U. FELGNER, T. JECH: Variants of the axiom of choice in set theory with atoms. Fund. Math., vol. 79 (1973), p. 79–85.

    MATH  MathSciNet  Google Scholar 

  7. T.B. FLANNAGAN: Set theories incorporating Hilbert's ɛ-symbol. Dissertationes Math., vol. 114, Warsaw, 1974.

    Google Scholar 

  8. T. JECH: The axiom of choice. Studies in Logic, vol. 75, North Holland, 1973.

    Google Scholar 

  9. A. LEISENRING: Mathematical logic and Hilbert's ɛ-symbol. University Math. Series, MacDonald, London, 1969.

    Google Scholar 

  10. W. MAREK: On the metamathematics of impredicative set theory. Dissertationes Math., vol. 98, Warsaw, 1973.

    Google Scholar 

  11. A. MOSTOWSKI: Models of second order arithmetic with definable skolem functions. Fund. Math., vol. 75 (1972), p. 223–234.

    MATH  MathSciNet  Google Scholar 

  12. H. RUBIN, J. RUBIN: Equivalents of the axiom of choice. Studies in Logic, North Holland, 1963.

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1975 Springer-Verlag

About this paper

Cite this paper

Flannagan, T.B. (1975). Axioms of choice in Morse-Kelley class theory. 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/BFb0079422

Download citation

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

  • 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