Switch to: References

Add citations

You must login to add citations.
  1. Preserving levels of projective determinacy by tree forcings.Fabiana Castiblanco & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102918.
    We prove that various classical tree forcings—for instance Sacks forcing, Mathias forcing, Laver forcing, Miller forcing and Silver forcing—preserve the statement that every real has a sharp and hence analytic determinacy. We then lift this result via methods of inner model theory to obtain level-by-level preservation of projective determinacy (PD). Assuming PD, we further prove that projective generic absoluteness holds and no new equivalence classes are added to thin projective transitive relations by these forcings.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Recognizable sets and Woodin cardinals: computation beyond the constructible universe.Merlin Carl, Philipp Schlicht & Philip Welch - 2018 - Annals of Pure and Applied Logic 169 (4):312-332.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Perfect subsets of generalized baire spaces and long games.Philipp Schlicht - 2017 - Journal of Symbolic Logic 82 (4):1317-1355.
    We extend Solovay’s theorem about definable subsets of the Baire space to the generalized Baire spaceλλ, whereλis an uncountable cardinal withλ<λ= λ. In the first main theorem, we show that the perfect set property for all subsets ofλλthat are definable from elements ofλOrd is consistent relative to the existence of an inaccessible cardinal aboveλ. In the second main theorem, we introduce a Banach–Mazur type game of lengthλand show that the determinacy of this game, for all subsets ofλλthat are definable from (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Σ1(κ)-definable subsets of H.Philipp Lücke, Ralf Schindler & Philipp Schlicht - 2017 - Journal of Symbolic Logic 82 (3):1106-1131.
    We study Σ1-definable sets in the presence of large cardinals. Our results show that the existence of a Woodin cardinal and a measurable cardinal above it imply that no well-ordering of the reals is Σ1-definable, the set of all stationary subsets of ω1 is not Σ1-definable and the complement of every Σ1-definable Bernstein subset of ${}_{}^{{\omega _1}}\omega _1^{}$ is not Σ1-definable. In contrast, we show that the existence of a Woodin cardinal is compatible with the existence of a Σ1-definable well-ordering (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An undecidable extension of Morley's theorem on the number of countable models.Christopher J. Eagle, Clovis Hamel, Sandra Müller & Franklin D. Tall - 2023 - Annals of Pure and Applied Logic 174 (9):103317.
    Download  
     
    Export citation  
     
    Bookmark   1 citation