Switch to: References

Add citations

You must login to add citations.
  1. Forcing axioms, approachability, and stationary set reflection.Sean D. Cox - 2021 - Journal of Symbolic Logic 86 (2):499-530.
    We prove a variety of theorems about stationary set reflection and concepts related to internal approachability. We prove that an implication of Fuchino–Usuba relating stationary reflection to a version of Strong Chang’s Conjecture cannot be reversed; strengthen and simplify some results of Krueger about forcing axioms and approachability; and prove that some other related results of Krueger are sharp. We also adapt some ideas of Woodin to simplify and unify many arguments in the literature involving preservation of forcing axioms.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Ideal projections and forcing projections.Sean Cox & Martin Zeman - 2014 - Journal of Symbolic Logic 79 (4):1247-1285.
    It is well known that saturation of ideals is closely related to the “antichain-catching” phenomenon from Foreman–Magidor–Shelah [10]. We consider several antichain-catching properties that are weaker than saturation, and prove:If${\cal I}$is a normal ideal on$\omega _2 $which satisfiesstationary antichain catching, then there is an inner model with a Woodin cardinal;For any$n \in \omega $, it is consistent relative to large cardinals that there is a normal ideal${\cal I}$on$\omega _n $which satisfiesprojective antichain catching, yet${\cal I}$is not saturated. This provides a negative (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On resurrection axioms.Konstantinos Tsaprounis - 2015 - Journal of Symbolic Logic 80 (2):587-608.
    The resurrection axioms are forms of forcing axioms that were introduced recently by Hamkins and Johnstone, who developed on earlier ideas of Chalons and Veličković. In this note, we introduce a stronger form of resurrection and show that it gives rise to families of axioms which are consistent relative to extendible cardinals, and which imply the strongest known instances of forcing axioms, such as Martin’s Maximum++. In addition, we study the unbounded resurrection postulates in terms of consistency lower bounds, obtaining, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Ultrahuge cardinals.Konstantinos Tsaprounis - 2016 - Mathematical Logic Quarterly 62 (1-2):77-87.
    In this note, we start with the notion of a superhuge cardinal and strengthen it by requiring that the elementary embeddings witnessing this property are, in addition, sufficiently superstrong above their target. This modification leads to a new large cardinal which we call ultrahuge. Subsequently, we study the placement of ultrahugeness in the usual large cardinal hierarchy, while at the same time show that some standard techniques apply nicely in the context of ultrahuge cardinals as well.
    Download  
     
    Export citation  
     
    Bookmark   1 citation