The Second Incompleteness Theorem: Reflections and Ruminations

DOI10.1093/acprof:oso/9780198759591.003.0003zbMath1433.03141OpenAlexW2550628627MaRDI QIDQ5221590

Albert Visser

Publication date: 2 April 2020

Published in: Gödel's Disjunction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/acprof:oso/9780198759591.003.0003

zbMATH Keywords

provabilityincompletenessGödel

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Related Items (6)

Friedman-reflexivity ⋮ The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb ⋮ A step towards absolute versions of metamathematical results ⋮ Transductions in arithmetic ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS

This page was built for publication: The Second Incompleteness Theorem: Reflections and Ruminations