Switch to: References

Add citations

You must login to add citations.
  1. Inner models with large cardinal features usually obtained by forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
    We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2κ = κ+, another for which 2κ = κ++ and another in which the least strongly compact cardinal is supercompact. If there is a (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Homogeneous iteration and measure one covering relative to HOD.Natasha Dobrinen & Sy-David Friedman - 2008 - Archive for Mathematical Logic 47 (7-8):711-718.
    Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every regular cardinal κ, κ + is greater than κ + of HOD. The proof uses a very general lemma showing that homogeneity is preserved through certain reverse Easton iterations.
    Download  
     
    Export citation  
     
    Bookmark   11 citations