A characterization of \(\Sigma_1^1\)-reflecting ordinals

DOI10.1016/j.apal.2021.103009OpenAlexW3170959546MaRDI QIDQ2231693

Juan P. Aguilera

Publication date: 30 September 2021

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

Full work available at URL: https://doi.org/10.1016/j.apal.2021.103009

zbMATH Keywords

clopen gameGandy ordinalKripke-platek set theoryreflecting ordinal

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• Elementary induction on abstract structures
• Feedback hyperjump
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• The next admissible ordinal
• Uncountable Gandy Ordinals
• SHORTENING CLOPEN GAMES
• THE ORDER OF REFLECTION
• An introduction to feedback Turing computability
• On Spector classes
• The fine structure of the constructible hierarchy

This page was built for publication: A characterization of \(\Sigma_1^1\)-reflecting ordinals