Article contents
ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM
Published online by Cambridge University Press: 10 June 2019
Abstract
In this article 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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2019
References
BIBLIOGRAPHY
- 6
- Cited by