Self-verifying axiom systems, the incompleteness theorem and related reflection principles

Journal of Symbolic Logic 66 (2):536-596 (2001)
We will study several weak axiom systems that use the Subtraction and Division primitives (rather than Addition and Multiplication) to formally encode the theorems of Arithmetic. Provided such axiom systems do not recognize Multiplication as a total function, we will show that it is feasible for them to verify their Semantic Tableaux, Herbrand, and Cut-Free consistencies. If our axiom systems additionally do not recognize Addition as a total function, they will be capable of recognizing the consistency of their Hilbert-style deductive proofs. Our axiom systems will not be strong enough to recognize their Canonical Reflection principle, but they will be capable of recognizing an approximation of it, called the "Tangibility Reflection Principle". We will also prove some new versions of the Second Incompleteness Theorem stating essentially that it is not possible to extend our exceptions to the Incompleteness Theorem much further
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2695030
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,182
Through your library
References found in this work BETA
On the Scheme of Induction for Bounded Arithmetic Formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (3):261-302.

Add more references

Citations of this work BETA
Passive Induction and a Solution to a Paris–Wilkie Open Question.Dan E. Willard - 2007 - Annals of Pure and Applied Logic 146 (2):124-149.
2001-2002 Winter Meeting of the Association for Symbolic Logic.Greg Hjorth - 2002 - Bulletin of Symbolic Logic 8 (2):312-318.
2005 Annual Meeting of the Association for Symbolic Logic.John Steel - 2006 - Bulletin of Symbolic Logic 12 (1):143-167.

View all 6 citations / Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

18 ( #271,884 of 2,172,036 )

Recent downloads (6 months)

1 ( #325,967 of 2,172,036 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums