THE ORDER OF REFLECTION

DOI10.1017/JSL.2021.3OpenAlexW3119402311MaRDI QIDQ5021928

Juan P. Aguilera

Publication date: 17 January 2022

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

stabilityGandy ordinalreflecting ordinal\( \alpha \)-recursionpattern of reflection

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Word problems, etc. in computability and recursion theory (03D40) Ordinal and cardinal numbers (03E10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• The next admissible ordinal
• A New Proof that π < σ
• Uncountable Gandy Ordinals
• The next admissible set

This page was built for publication: THE ORDER OF REFLECTION