A classification of incompleteness statements

DOI10.4153/S000843952510091XMaRDI QIDQ6864763zbMATH OpenFDO

Authors Henry Towsner, James Walsh

Publication date 3 February 2026

Published in Canadian Mathematical Bulletin (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

proof theorysecond-order arithmeticincompletenessreflection principles

Mathematics Subject Classification ID

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

This page was built for publication: A classification of incompleteness statements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6864763)