Characterizations of ordinal analysis

DOI10.1016/J.APAL.2022.103230arXiv2209.09765MaRDI QIDQ6411369

James Lyons Walsh

Publication date: 20 September 2022

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)

This page was built for publication: Characterizations of ordinal analysis