Characterizations of ordinal analysis

DOI10.1016/j.apal.2022.103230OpenAlexW4311488761MaRDI QIDQ2683775

Yanyan Li

Publication date: 15 February 2023

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

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

zbMATH Keywords

proof theoryordinal analysisreflection principlessecond-order arithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Cites Work

• Proof theory. The first step into impredicativity
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
• Degree-invariant, analytic equivalence relations without perfectly many classes
• Reflection principles and provability algebras in formal arithmetic
• Logical dreams
• REFLECTION RANKS AND ORDINAL ANALYSIS
• Incompleteness and jump hierarchies
• Martin's Conjecture: A Classification of the Naturally Occurring Turing Degrees
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Characterizations of ordinal analysis