Abstract
In this paper we investigate the extendability of models for ZFC to models for ZF+V=HOD, and the relative consistency of sentences of LZF with the theory ZF+V=HOD.
This paper is a fragment of doctoral dissertation of author.
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
K. Mc Aloon, Consistency results about ordinal definability, Ann. Math. Logic 2 (1971) pp. 449–467.
W. B. Easton, Powers of regular cardinals, Ann. Math. Logic 1 1970 pp. 139–178.
R. Jensen, The Generalized Continuum Hypotesis and Measurable Cardinals, Summer Institute on Set Theory, Univ. of California, Los Angeles 1967.
K. Kunen, Inaccessibility properties of cardinals, Ph. D. Dissertation, Stanford Univ.
K. Kuratowski, A. Mostowski, Teoria Monogści, Warszawa 1967.
A. Levy, Definability in axiomatic set theory I, Logic Methodology and Philosophy of Science, North Holland Amsterdam 1965 pp. 137–154.
A. Zarach, Forcing with proper classes, Fund. Math. LXXXI (1973), pp. 1–27.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag
About this paper
Cite this paper
Roguski, S. (1976). Extensions of models for ZFC to models for ZF + V = HOD with applications. In: Marek, W., Srebrny, M., Zarach, A. (eds) Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski. Lecture Notes in Mathematics, vol 537. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0096904
Download citation
DOI: https://doi.org/10.1007/BFb0096904
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07856-2
Online ISBN: 978-3-540-38122-8
eBook Packages: Springer Book Archive