Abstract
Within a weak subsystem of second-order arithmetic WKL0, that is П02-conservative over PRA, we reformulate Kreisel’s proof of the Second Incompleteness Theorem and Boolos’ proof of the First Incompleteness Theorem. © 1994, Duke University Press. All Rights Reserved.
Cite
CITATION STYLE
APA
Kikuchi, M., & Tanaka, K. (1994). On formalization of model-theoretic proofs of gödel’s theorems. Notre Dame Journal of Formal Logic, 35(3), 403–412. https://doi.org/10.1305/ndjfl/1040511346
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free