THE ORDER OF REFLECTION

DOI10.1017/JSL.2021.3MaRDI QIDQ5021928zbMATH OpenOpenAlexFDO

Authors Juan P. Aguilera

Publication date 17 January 2022

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

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

zbMATH Keywords

\( \alpha \)-recursionGandy ordinalpattern of reflectionreflecting ordinalstability

Mathematics Subject Classification ID

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

Recommendations

• Reflection Sequences
• On the method of reflections
• scientific article; zbMATH DE number 17192
• A simplified ordinal analysis of first-order reflection
• The wonderland of reflections
• Higher order reflection principles

Cites work

• A New Proof that π < σ
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• scientific article; zbMATH DE number 3477148 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3497881 (Why is no real title available?)
• scientific article; zbMATH DE number 3445235 (Why is no real title available?)
• The next admissible ordinal
• The next admissible set
• Uncountable Gandy Ordinals

Cited in

(3)

• A characterization of \(\Sigma_1^1\)-reflecting ordinals
• The Order of Reflection
• The metamathematics of separated determinacy

This page was built for publication: THE ORDER OF REFLECTION

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5021928)