A generalization of the Second Incompleteness Theorem and some exceptions to it

This paper will introduce the notion of a naming convention and use this paradigm to both develop a new version of the Second Incompleteness Theorem and to describe when an axiom system can partially evade the Second Incompleteness Theorem.

Saved in:
Bibliographic Details
Published in:Annals of pure and applied logic 2006-09, Vol.141 (3), p.472-496
Main Author: Willard, Dan E.
Format: Article
Language:English
Subjects:
Frege and Hilbert style proofs
Second Incompleteness Theorem
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper will introduce the notion of a naming convention and use this paradigm to both develop a new version of the Second Incompleteness Theorem and to describe when an axiom system can partially evade the Second Incompleteness Theorem.
ISSN:0168-0072
DOI:10.1016/j.apal.2005.12.010