A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem

Logic and Logical Philosophy 6:173 (1998)
  Copy   BIBTEX

Abstract

By generalizing Kreisel’s proof of the Second Incompleteness Theorem of G¨odel I extract a general principle which can also be used for otherpurely model-theoretical proofs of that theorem

Categories

Keywords

Reprint years

2014

DOI

10.12775/llp.1998.009

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
Gödel’s Second Incompleteness Theorem: How It is Derived and What It Delivers.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (3-4):241-256.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
Fromal statements of Godel's second incompleteness theorem.Harvey Friedman - manuscript
Three theorems of Godel.Andrew Boucher - manuscript
Another look at the second incompleteness theorem.Albert Visser - 2020 - Review of Symbolic Logic 13 (2):269-295.
The Surprise Examination Paradox and the Second Incompleteness Theorem.Shira Kritchman & Ran Raz - unknown
On constructivity and the Rosser property: a closer look at some Gödelean proofs.Saeed Salehi & Payam Seraji - 2018 - Annals of Pure and Applied Logic 169 (10):971-980.

Analytics

Added to PP
2014-01-15

Downloads
42 (#532,324)

6 months
12 (#296,635)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.
[Omnibus Review].C. Smorynski - 1979 - Journal of Symbolic Logic 44 (1):116-119.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.

Add more references