Order:
  1.  1
    The Determined Property of Baire in Reverse Math.Eric P. Astor, Damir Dzhafarov, Antonio Montalbán, Reed Solomon & Linda Brown Westrick - 2020 - Journal of Symbolic Logic 85 (1):166-198.
    We define the notion of a completely determined Borel code in reverse mathematics, and consider the principle $CD - PB$, which states that every completely determined Borel set has the property of Baire. We show that this principle is strictly weaker than $AT{R_0}$. Any ω-model of $CD - PB$ must be closed under hyperarithmetic reduction, but $CD - PB$ is not a theory of hyperarithmetic analysis. We show that whenever $M \subseteq {2^\omega }$ is the second-order part of an ω-model (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  7
    Weakly 2-Randoms and 1-Generics in Scott Sets.Linda Brown Westrick - 2018 - Journal of Symbolic Logic 83 (1):392-394.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  3
    A Lightface Analysis of the Differentiability Rank.Linda Brown Westrick - 2014 - Journal of Symbolic Logic 79 (1):240-265.