The second incompleteness theorem: reflections and ruminations
From MaRDI portal
Publication:5221590
Recommendations
Cited in
(14)- Can we make the second incompleteness theorem coordinate free?
- Rosser provability and the second incompleteness theorem
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
- A step towards absolute versions of metamathematical results
- Friedman-reflexivity
- Revisiting Chaitin's incompleteness theorem
- Current research on Gödel's incompleteness theorems
- What does Gödel's second theorem say?
- Second thoughts around some of Gödel's writings: A non-academic option
- A generalization of the second incompleteness theorem and some exceptions to it
- About the characterization of a fine line that separates generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableau deduction
- Transductions in arithmetic
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
- The incompleteness theorems after 70 years
This page was built for publication: The second incompleteness theorem: reflections and ruminations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221590)