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.
Original language | English |
---|---|
Pages (from-to) | 155-167 |
Number of pages | 13 |
Journal | Journal of Symbolic Logic |
Volume | 75 |
Issue number | 1 |
DOIs | |
Publication status | Published - 2010 Mar |
Externally published | Yes |
ASJC Scopus subject areas
- Logic