Switch to: References

Add citations

You must login to add citations.
  1. Higher indescribability and derived topologies.Brent Cody - 2023 - Journal of Mathematical Logic 24 (1).
    We introduce reflection properties of cardinals in which the attributes that reflect are expressible by infinitary formulas whose lengths can be strictly larger than the cardinal under consideration. This kind of generalized reflection principle leads to the definitions of [Formula: see text]-indescribability and [Formula: see text]-indescribability of a cardinal [Formula: see text] for all [Formula: see text]. In this context, universal [Formula: see text] formulas exist, there is a normal ideal associated to [Formula: see text]-indescribability and the notions of [Formula: (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Reflection in Second-Order Set Theory with Abundant Urelements Bi-Interprets a Supercompact Cardinal.Joel David Hamkins & Bokai Yao - 2024 - Journal of Symbolic Logic 89 (3):1007-1043.
    After reviewing various natural bi-interpretations in urelement set theory, including second-order set theories with urelements, we explore the strength of second-order reflection in these contexts. Ultimately, we prove, second-order reflection with the abundant atom axiom is bi-interpretable and hence also equiconsistent with the existence of a supercompact cardinal. The proof relies on a reflection characterization of supercompactness, namely, a cardinal κ is supercompact if and only if every Π11 sentence true in a structure M (of any size) containing κ in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Two-Cardinal Derived Topologies, Indescribability and Ramseyness.Brent Cody, Chris Lambie-Hanson & Jing Zhang - forthcoming - Journal of Symbolic Logic:1-29.
    We introduce a natural two-cardinal version of Bagaria’s sequence of derived topologies on ordinals. We prove that for our sequence of two-cardinal derived topologies, limit points of sets can be characterized in terms of a new iterated form of pairwise simultaneous reflection of certain kinds of stationary sets, the first few instances of which are often equivalent to notions related to strong stationarity, which has been studied previously in the context of strongly normal ideals. The non-discreteness of these two-cardinal derived (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Generalisations of stationarity, closed and unboundedness, and of Jensen's □.H. Brickhill & P. D. Welch - 2023 - Annals of Pure and Applied Logic 174 (7):103272.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Subcompact Cardinals, Type Omission, and Ladder Systems.Yair Hayut & Menachem Magidor - 2022 - Journal of Symbolic Logic 87 (3):1111-1129.
    We provide a model theoretical and tree property-like characterization of $\lambda $ - $\Pi ^1_1$ -subcompactness and supercompactness. We explore the behavior of these combinatorial principles at accessible cardinals.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Two-cardinal ideal operators and indescribability.Brent Cody & Philip White - 2024 - Annals of Pure and Applied Logic 175 (8):103463.
    Download  
     
    Export citation  
     
    Bookmark