Incompleteness and jump hierarchies

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

zbMATH Keywords

Gödel's second incompleteness theoremjump hierarchiesSpector's theorem

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Gödel numberings and issues of incompleteness (03F40) Hierarchies of computability and definability (03D55)

Related Items (4)

AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS ⋮ Characterizations of ordinal analysis ⋮ Corrigenda to “Incompleteness and jump hierarchies” ⋮ REFLECTION RANKS AND ORDINAL ANALYSIS

Cites Work

• Unnamed Item
• Provability algebras and proof-theoretic ordinals. I
• Descending sequences of degrees
• Uniformly defined descending sequences of degrees
• Forcing with tagged trees
• An incompleteness theorem for β_n-models
• Recursive Pseudo-Well-Orderings
• A note on the hyperarithmetical hierarchy

This page was built for publication: Incompleteness and jump hierarchies