This is a preview of subscription content, access via your institution.
Preview
Unable to display preview. Download preview PDF.
References
M. BOFFA: Graphes extensionnels et axiome d'universalite. Zeit. f. math. Logik und Grund. d. Math., vol. 14 (1968), p. 329–334.
R. CHUAQUI: Forcing for the impredicative theory of classes. The Jour. of Sym. Logic, vol. 37 (1972), p. 1–18.
U. FELGNER: Models of ZF-set theory. Lecture Notes in Math., vol. 223, Springer Verlag, Berlin, Heidelberg, New York, 1971.
U. FELGNER: Comparison of the axioms of local and universal choice. Fund. Math., vol. 71 (1971), p. 43–62.
U. FELGNER: Choice functions on sets and classes. To appear in the Bernays Festschrift, North Holland.
U. FELGNER, T. JECH: Variants of the axiom of choice in set theory with atoms. Fund. Math., vol. 79 (1973), p. 79–85.
T.B. FLANNAGAN: Set theories incorporating Hilbert's ɛ-symbol. Dissertationes Math., vol. 114, Warsaw, 1974.
T. JECH: The axiom of choice. Studies in Logic, vol. 75, North Holland, 1973.
A. LEISENRING: Mathematical logic and Hilbert's ɛ-symbol. University Math. Series, MacDonald, London, 1969.
W. MAREK: On the metamathematics of impredicative set theory. Dissertationes Math., vol. 98, Warsaw, 1973.
A. MOSTOWSKI: Models of second order arithmetic with definable skolem functions. Fund. Math., vol. 75 (1972), p. 223–234.
H. RUBIN, J. RUBIN: Equivalents of the axiom of choice. Studies in Logic, North Holland, 1963.
Editor information
Editors and Affiliations
Rights 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
