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.
|Number of pages||13|
|Journal||Journal of Symbolic Logic|
|Publication status||Published - 2010 Mar|
ASJC Scopus subject areas