Corrigenda to “Incompleteness and jump hierarchies”

DOI10.1090/PROC/15421zbMath1473.03023OpenAlexW3113295712MaRDI QIDQ4990365

No author found.

Publication date: 28 May 2021

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/proc/15421

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)

Cites Work

• Incompleteness and jump hierarchies
• An incompleteness theorem for β_n-models

This page was built for publication: Corrigenda to “Incompleteness and jump hierarchies”