ANOTHER LOOK at the SECOND INCOMPLETENESS THEOREM

DSpace/Manakin Repository

ANOTHER LOOK at the SECOND INCOMPLETENESS THEOREM
 
Visser, Albert
(2020) Review of Symbolic Logic, volume 13, issue 2, pp. 269 - 295
(Article)
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 ... read more
Download/Full Text
An Open Access version of this item is not available due to the copyright policy of the publisher.
 
Keywords: Formal Theories, Second Incompleteness Theorem, Mathematics (miscellaneous), Philosophy, Logic
DOI: https://doi.org/10.1017/S1755020319000248
ISSN: 1755-0203
Publisher: Cambridge University Press
(Peer reviewed)
 
 
See more statistics about this item