Determinacy of refinements to the difference hierarchy of co-analytic sets

DOI10.1016/j.apal.2017.10.001zbMath1427.03054arXiv1411.1106OpenAlexW1584545568MaRDI QIDQ1676330

Chris Le Sueur

Publication date: 6 November 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.1106

zbMATH Keywords

co-analytic setsdeterminacy

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Determinacy principles (03E60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The strict determinateness of certain infinite games
• Determinacy in the difference hierarchy of co-analytic sets
• An extension of Borel determinacy
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• The limits of determinacy in second-order arithmetic
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• The equivalence of determinacy and iterated sharps
• The core model
• Measurable cardinals and analytic games
• Determinateness in the low protective hierarchy

This page was built for publication: Determinacy of refinements to the difference hierarchy of co-analytic sets