Incompleteness and jump hierarchies
From MaRDI portal
Publication:5119250
DOI10.1090/proc/15125zbMath1472.03040arXiv1909.10603OpenAlexW2975156823MaRDI QIDQ5119250
No author found.
Publication date: 3 September 2020
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1909.10603
Second- and higher-order arithmetic and fragments (03F35) Gödel numberings and issues of incompleteness (03F40) Hierarchies of computability and definability (03D55)
Related Items
AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS, Characterizations of ordinal analysis, Corrigenda to “Incompleteness and jump hierarchies”, REFLECTION RANKS AND ORDINAL ANALYSIS
Cites Work