1.  10
    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.
    Direct download (2 more)  
    Export citation  
    Bookmark   1 citation  
  2.  26
    On the universality of the nonstationary ideal.Sean D. Cox - 2018 - Mathematical Logic Quarterly 64 (1-2):103-117.
    Burke proved that the generalized nonstationary ideal, denoted by NS, is universal in the following sense: every normal ideal, and every tower of normal ideals of inaccessible height, is a canonical Rudin‐Keisler projection of the restriction of NS to some stationary set. We investigate how far Burke's theorem can be pushed, by analyzing the universality properties of NS with respect to the wider class of ‐systems of filters introduced by Audrito and Steila. First we answer a question of Audrito and (...)
    No categories
    Direct download (4 more)  
    Export citation  
    Bookmark   1 citation  
  3.  37
    Consistency strength of higher chang’s conjecture, without CH.Sean D. Cox - 2011 - Archive for Mathematical Logic 50 (7-8):759-775.
    We prove that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(\omega_3, \omega_2) \twoheadrightarrow (\omega_2, \omega_1)}$$\end{document} implies there is an inner model with a weak repeat measure.
    Direct download (3 more)  
    Export citation  
    Bookmark   1 citation