Switch to: References

Add citations

You must login to add citations.
  1. 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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: (...)
    Direct download (3 more)  
     
    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.
    Direct download (2 more)  
     
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark