ANOTHER LOOK at the SECOND INCOMPLETENESS THEOREM

Albert Visser

doi:10.1017/S1755020319000248

ANOTHER LOOK at the SECOND INCOMPLETENESS THEOREM

Albert Visser^*

^*Corresponding author for this work

OFR - Theoretical Philosophy

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.

Original language	English
Pages (from-to)	269-295
Number of pages	27
Journal	Review of Symbolic Logic
Volume	13
Issue number	2
Early online date	10 Jun 2019
DOIs	https://doi.org/10.1017/S1755020319000248
Publication status	Published - Jun 2020

Keywords

Formal Theories
Second Incompleteness Theorem

Access to Document

10.1017/S1755020319000248

another-look-at-the-second-incompleteness-theoremFinal published version, 326 KBLicence: Taverne

Cite this

@article{a47d087f3fdb4ccf9630541370812b6a,

title = "ANOTHER LOOK at the SECOND INCOMPLETENESS THEOREM",

abstract = "In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.",

keywords = "Formal Theories, Second Incompleteness Theorem",

author = "Albert Visser",

year = "2020",

month = jun,

doi = "10.1017/S1755020319000248",

language = "English",

volume = "13",

pages = "269--295",

journal = "Review of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - ANOTHER LOOK at the SECOND INCOMPLETENESS THEOREM

AU - Visser, Albert

PY - 2020/6

Y1 - 2020/6

N2 - In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.

AB - In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.

KW - Formal Theories

KW - Second Incompleteness Theorem

UR - http://www.scopus.com/inward/record.url?scp=85067239906&partnerID=8YFLogxK

U2 - 10.1017/S1755020319000248

DO - 10.1017/S1755020319000248

M3 - Article

AN - SCOPUS:85067239906

SN - 1755-0203

VL - 13

SP - 269

EP - 295

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

IS - 2

ER -

ANOTHER LOOK at the SECOND INCOMPLETENESS THEOREM

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this