Abstract
We shall discuss various statements which are related to the following Injection Principle: “The class of all ordinals can be injected into every proper class”. Some of our independence results are true for NBG-set theory and are proved using Cohen's forcing method; other independence results are true only for NBG o (i.e. NBG without foundation) and are proved using Fraenkel-Mostowski models.
Keywords
- Choice Function
- Countable Model
- Countable Subset
- Proper Class
- Inaccessible Cardinal
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
U.FELGNER: Models of ZF-set Theory. Lecture Notes in Mathematics 223, Springer Verlag Berlin 1971.
U. FELGNER: Choice functions on sets and classes. In: ‘Sets and Classes, on the work of P.Bernays’ (G.H. Müller, Ed.), North-Holland Publ.Comp., Amsterdam 1976, pp.217–255.
U. FELGNER-Th.J. JECH: Variants of the axiom of choice in set theory with atoms. Fund.Math. 79(1973)pp.79–85.
T.B.FLANNAGAN: Axioms of choice in Morse-Kelley class theory. In: ‘Logic Conference Kiel 1974’ (G.H.Müller, A.Oberschelp and K.Potthoff, Editors), Lecture Notes in Mathematics 499, Springer Verlag Berlin 1975, pp.190–247.
K.GÖDEL: The consistency of the Continuum Hypothesis. Annals of Mathematics Studies No 3, Princeton Univ.Press 1940.
A. LEVY: The role of classes in set theory. In: ‘Sets and Classes, on the work of P.Bernays’ (G.H. Müller, Ed.), North Holland Publ. Comp.,Amsterdam 1976, pp.173–215.
A.R.D. MATHIAS: The order extension principle. In: ‘Axiomatic set theory', Proceedings of Symposia in pure Mathematics, vol.13,II. (Th. Jech, Ed.), Amer.Math.Soc. Providence 1974, pp.179–183.
J.M. PLOTKIN: Generic embeddings. Journal of Symbolic Logic 34, (1969)pp.388–394.
H. RUBIN — J. RUBIN: Equivalents of the axiom of choice. North-Holland Publ.Comp. Amsterdam 1963.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1978 Springer-Verlag
About this paper
Cite this paper
Felgner, U., Flannagan, T.B. (1978). Wellordered subclasses of proper classes. In: Müller, G.H., Scott, D.S. (eds) Higher Set Theory. Lecture Notes in Mathematics, vol 669. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0103097
Download citation
DOI: https://doi.org/10.1007/BFb0103097
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08926-1
Online ISBN: 978-3-540-35749-0
eBook Packages: Springer Book Archive
