Switch to: References

Add citations

You must login to add citations.
  1. The Downward Directed Grounds Hypothesis and Very Large Cardinals.Toshimichi Usuba - 2017 - Journal of Mathematical Logic 17 (2):1750009.
    A transitive model M of ZFC is called a ground if the universe V is a set forcing extension of M. We show that the grounds ofV are downward set-directed. Consequently, we establish some fundamental theorems on the forcing method and the set-theoretic geology. For instance, the mantle, the intersection of all grounds, must be a model of ZFC. V has only set many grounds if and only if the mantle is a ground. We also show that if the universe (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Elementary Chains and C (N)-Cardinals.Konstantinos Tsaprounis - 2014 - Archive for Mathematical Logic 53 (1-2):89-118.
    The C (n)-cardinals were introduced recently by Bagaria and are strong forms of the usual large cardinals. For a wide range of large cardinal notions, Bagaria has shown that the consistency of the corresponding C (n)-versions follows from the existence of rank-into-rank elementary embeddings. In this article, we further study the C (n)-hierarchies of tall, strong, superstrong, supercompact, and extendible cardinals, giving some improved consistency bounds while, at the same time, addressing questions which had been left open. In addition, we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Choice Principles in Local Mantles.Farmer Schlutzenberg - 2022 - Mathematical Logic Quarterly 68 (3):264-278.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Identity Crisis Between Supercompactness and Vǒpenka’s Principle.Yair Hayut, Menachem Magidor & Alejandro Poveda - 2022 - Journal of Symbolic Logic 87 (2):626-648.
    In this paper we study the notion of $C^{}$ -supercompactness introduced by Bagaria in [3] and prove the identity crises phenomenon for such class. Specifically, we show that consistently the least supercompact is strictly below the least $C^{}$ -supercompact but also that the least supercompact is $C^{}$ -supercompact }$ -supercompact). Furthermore, we prove that under suitable hypothesis the ultimate identity crises is also possible. These results solve several questions posed by Bagaria and Tsaprounis.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Resurrection Axioms and Uplifting Cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
    We introduce the resurrection axioms, a new class of forcing axioms, and the uplifting cardinals, a new large cardinal notion, and prove that various instances of the resurrection axioms are equiconsistent over ZFC with the existence of an uplifting cardinal.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • A Model of the Generic Vopěnka Principle in Which the Ordinals Are Not Mahlo.Victoria Gitman & Joel David Hamkins - 2019 - Archive for Mathematical Logic 58 (1-2):245-265.
    The generic Vopěnka principle, we prove, is relatively consistent with the ordinals being non-Mahlo. Similarly, the generic Vopěnka scheme is relatively consistent with the ordinals being definably non-Mahlo. Indeed, the generic Vopěnka scheme is relatively consistent with the existence of a \-definable class containing no regular cardinals. In such a model, there can be no \-reflecting cardinals and hence also no remarkable cardinals. This latter fact answers negatively a question of Bagaria, Gitman and Schindler.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • More on the Preservation of Large Cardinals Under Class Forcing.Joan Bagaria & Alejandro Poveda - forthcoming - Journal of Symbolic Logic:1-34.
    We prove two general results about the preservation of extendible and $C^{}$ -extendible cardinals under a wide class of forcing iterations. As applications we give new proofs of the preservation of Vopěnka’s Principle and $C^{}$ -extendible cardinals under Jensen’s iteration for forcing the GCH [17], previously obtained in [8, 27], respectively. We prove that $C^{}$ -extendible cardinals are preserved by forcing with standard Easton-support iterations for any possible $\Delta _2$ -definable behaviour of the power-set function on regular cardinals. We show (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark