No CrossRef data available.
Article contents
Tait's conservative extension theorem revisited
Published online by Cambridge University Press: 12 March 2014
Abstract
This paper aims to give a correct proof of Tait's conservative extension theorem. Tait's own proof is flawed in the sense that there are some invalid steps in his argument, and there is a counterexample to the main theorem from which the conservative extension theorem is supposed to follow. However, an analysis of Tait's basic idea suggests a correct proof of the conservative extension theorem and a corrected version of the main theorem.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2010