Advertisement

Axioms of choice in Morse-Kelley class theory

  • T. B. Flannagan
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 499)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    M. BOFFA: Graphes extensionnels et axiome d'universalite. Zeit. f. math. Logik und Grund. d. Math., vol. 14 (1968), p. 329–334.zbMATHMathSciNetGoogle Scholar
  2. [2]
    R. CHUAQUI: Forcing for the impredicative theory of classes. The Jour. of Sym. Logic, vol. 37 (1972), p. 1–18.zbMATHMathSciNetCrossRefGoogle Scholar
  3. [3]
    U. FELGNER: Models of ZF-set theory. Lecture Notes in Math., vol. 223, Springer Verlag, Berlin, Heidelberg, New York, 1971.zbMATHGoogle Scholar
  4. [4]
    U. FELGNER: Comparison of the axioms of local and universal choice. Fund. Math., vol. 71 (1971), p. 43–62.zbMATHMathSciNetGoogle Scholar
  5. [5]
    U. FELGNER: Choice functions on sets and classes. To appear in the Bernays Festschrift, North Holland.Google Scholar
  6. [6]
    U. FELGNER, T. JECH: Variants of the axiom of choice in set theory with atoms. Fund. Math., vol. 79 (1973), p. 79–85.zbMATHMathSciNetGoogle Scholar
  7. [7]
    T.B. FLANNAGAN: Set theories incorporating Hilbert's ɛ-symbol. Dissertationes Math., vol. 114, Warsaw, 1974.Google Scholar
  8. [8]
    T. JECH: The axiom of choice. Studies in Logic, vol. 75, North Holland, 1973.Google Scholar
  9. [9]
    A. LEISENRING: Mathematical logic and Hilbert's ɛ-symbol. University Math. Series, MacDonald, London, 1969.Google Scholar
  10. [10]
    W. MAREK: On the metamathematics of impredicative set theory. Dissertationes Math., vol. 98, Warsaw, 1973.Google Scholar
  11. [11]
    A. MOSTOWSKI: Models of second order arithmetic with definable skolem functions. Fund. Math., vol. 75 (1972), p. 223–234.zbMATHMathSciNetGoogle Scholar
  12. [12]
    H. RUBIN, J. RUBIN: Equivalents of the axiom of choice. Studies in Logic, North Holland, 1963.Google Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • T. B. Flannagan

There are no affiliations available

Personalised recommendations