Switch to: References

Add citations

You must login to add citations.
  1. Precisely Controlling Level by Level Behavior.Arthur W. Apter - 2017 - Mathematical Logic Quarterly 63 (1-2):77-84.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • More on HOD-Supercompactness.Arthur W. Apter, Shoshana Friedman & Gunter Fuchs - 2021 - Annals of Pure and Applied Logic 172 (3):102901.
    We explore Woodin's Universality Theorem and consider to what extent large cardinal properties are transferred into HOD (and other inner models). We also separate the concepts of supercompactness, supercompactness in HOD and being HOD-supercompact. For example, we produce a model where a proper class of supercompact cardinals are not HOD-supercompact but are supercompact in HOD. Additionally we introduce a way to measure the degree of HOD-supercompactness of a supercompact cardinal, and we develop methods to control these degrees simultaneously for a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On the Consistency Strength of Level by Level Inequivalence.Arthur W. Apter - 2017 - Archive for Mathematical Logic 56 (7-8):715-723.
    We show that the theories “ZFC \ There is a supercompact cardinal” and “ZFC \ There is a supercompact cardinal \ Level by level inequivalence between strong compactness and supercompactness holds” are equiconsistent.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Level by Level Inequivalence Beyond Measurability.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (7-8):707-712.
    We construct models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In each model, above the supercompact cardinal, there are finitely many strongly compact cardinals, and the strongly compact and measurable cardinals precisely coincide.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations