Tait's conservative extension theorem revisited

Ryota Akiyoshi*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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 languageEnglish
Pages (from-to)155-167
Number of pages13
JournalJournal of Symbolic Logic
Issue number1
Publication statusPublished - 2010 Mar
Externally publishedYes

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Tait's conservative extension theorem revisited'. Together they form a unique fingerprint.

Cite this