Unraveling \(\boldsymbol\Pi_1^1\) sets
From MaRDI portal
Publication:1591205
DOI10.1016/S0168-0072(00)00022-1zbMath0979.03040MaRDI QIDQ1591205
Publication date: 17 May 2001
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
03E15: Descriptive set theory
91A44: Games involving topology, set theory, or logic
03E55: Large cardinals
03E60: Determinacy principles
Related Items
Determinacy for games ending at the first admissible relative to the play, Bounds on the strength of ordinal definable determinacy in small admissible sets, Unraveling \({\boldsymbol\Pi}^1_1\) sets, revisited
Cites Work
- Unnamed Item
- Unnamed Item
- Descriptive set theory
- Borel determinacy
- \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
- An extension of Borel determinacy
- Determinacy in the Mitchell models
- A Proof of Projective Determinacy
- Sets constructible from sequences of ultrafilters
- Measurable cardinals and analytic games