Cardinals in the inner model HOD

  • Petr Štěpánek
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 669)


Boolean Algebra Dense Subset Generic Extension Closure Property Regular 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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    P. Erdös, R. Rado, Intersection theorems for systems of sets, J. London Math. Soc. 35 (1960), 85–90MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    K. Gödel, Remarks before the Princeton Bicentennial Conference, in: M. Davis Ed., The Undecidable, New York, 1965, 84–88Google Scholar
  3. 3.
    S. Grigorieff, Intermediate submodels and generic extensions in set theory, Ann. of Math. 101 (1975), 447–490MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    L. Harrington (personal communication)Google Scholar
  5. 5.
    A. Lévy, Definability in axiomatic set theory I, in Proc. 1964 Int. Congress for Logic, Meth. Phil. of Science, North Holland, Amsterdam 1965, 127–151Google Scholar
  6. 6.
    K. McAloon, Consistency results about ordinal definability, Ann. Math. Logic 2 (1971), 449–467MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    K. McAloon, On the sequence of models HODn, Fund. Math. 82 (1974), 85–93MathSciNetzbMATHGoogle Scholar
  8. 8.
    S. Roguski, Extensions of models of ZFC to models for ZFC + V = HOD with applications, Springer Lecture notes in Math. 537 Proc. of the Bierutowice Conference 1975, Springer-Verlag, Berlin, Heidelberg 1976, 241–248Google Scholar
  9. 9.
    S. Shelah, Why there are many non-isomorphic models for unsuperstable theories, Proc. Int. Congress of Math. Vancouver 1974, 553–557Google Scholar
  10. 10.
    P. Štěpánek, B. Balcar, Embedding theorems for Boolean algebras and consistency results about ordinal definable sets (to appear)Google Scholar
  11. 11.
    P. Štěpánek, Cardinal collapsing and ordinal definability, (to appear)Google Scholar
  12. 12.
    P. Vopěnka, P. Hájek, The Theory of Semisets, North Holland, Amsterdam 1972zbMATHGoogle Scholar
  13. 13.
    R. Solovay, New proof of a Theorem of Gaifman and Hales, Bull. Am. Math. Soc. 72 (1966), 282–284MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag 1978

Authors and Affiliations

  • Petr Štěpánek
    • 1
  1. 1.Charles UniversityPraha 1Czechoslovakia

Personalised recommendations