On formalization of model-theoretic proofs of Gödel's theorems

DOI10.1305/ndjfl/1040511346zbMath0822.03032OpenAlexW2035441142WikidataQ55969989 ScholiaQ55969989MaRDI QIDQ1893141

Makoto Kikuchi, Kazuyuki Tanaka

Publication date: 3 July 1995

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040511346

zbMATH Keywords

second incompleteness theoremfirst incompleteness theoremweak subsystem of second-order arithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items

Liar-type paradoxes and the incompleteness phenomena, On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos, On constructivity and the Rosser property: a closer look at some Gödelean proofs, The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, A note on typed truth and consistency assertions

Cites Work

• Unnamed Item
• Unnamed Item
• Arithmetization of metamathematics in a general setting
• A Note on Boolos' Proof of the Incompleteness Theorem
• Note on arithmetic models for consistent formulae of the predicate calculus