Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Grigorieff, Intermediate submodels and generic extension in set theory, Annals of Mathematics, vol.101, No 3, 447–490.
T. Jech, The Axiom of Choice (North Holland, Amsterdam)
J. Myhill and D. Scott, Ordinal defibability, in: D. Scott, ed., Axiomatic Set Theory, Proc.Symp.Pure Math. 13(1) (Amer. Math.Soc.Providence, R.I.) 271–278
S. Roguski, The theory of the class HOD, this volume
J. Shoenfield. Unramified forcing. in. D. Scott, ed. Axiomatic Set Theory, Proc.Symp.Pure Math. 13(1) (Amer.Math.Soc. Providence, R.I.) 357–381
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag
About this paper
Cite this paper
Szczepaniak, Z. (1977). The consistency of the theory ZF+L1≠HOD. In: Lachlan, A., Srebrny, M., Zarach, A. (eds) Set Theory and Hierarchy Theory V. Lecture Notes in Mathematics, vol 619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0067659
Download citation
DOI: https://doi.org/10.1007/BFb0067659
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08521-8
Online ISBN: 978-3-540-37032-1
eBook Packages: Springer Book Archive