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)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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