Extensions of models for ZFC to models for ZF + V = HOD with applications
作者： S. Roguski
DOI: 10.1007/BFB0096904
关键词:
摘要: In this paper we investigate the extendability of models for ZFC to ZF+V=HOD, and relative consistency sentences LZF with theory ZF+V=HOD.
springer.com
sci-hub.se 参考文章(5)
Kenneth Kunen, Inaccessibility properties of cardinals University Microfilms. ,(1968)
Andrzej Zarach, Forcing with proper classes Fundamenta Mathematicae. ,vol. 81, pp. 1- 27 ,(1973) , 10.4064/FM-81-1-1-27
Azriel Levy, Definability in Axiomatic Set Theory II Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities. ,vol. 59, pp. 129- 145 ,(1970) , 10.1016/S0049-237X(08)71935-9
Kenneth McAloon, Consistency results about ordinal definability Annals of Mathematical Logic. ,vol. 2, pp. 449- 467 ,(1971) , 10.1016/0003-4843(71)90005-2
William B. Easton, Powers of regular cardinals Annals of Mathematical Logic. ,vol. 1, pp. 139- 178 ,(1970) , 10.1016/0003-4843(70)90012-4