Tait's conservative extension theorem revisited

Ryota Akiyoshi

Research output: Contribution to journalArticle

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

    Fingerprint

ASJC Scopus subject areas

  • Logic

Cite this