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

Extension Theorem
Theorem
Counterexample
Conservative Extension

ASJC Scopus subject areas

  • Logic

Cite this

Tait's conservative extension theorem revisited. / Akiyoshi, Ryota.

In: Journal of Symbolic Logic, Vol. 75, No. 1, 03.2010, p. 155-167.

Research output: Contribution to journalArticle

Akiyoshi, Ryota. / Tait's conservative extension theorem revisited. In: Journal of Symbolic Logic. 2010 ; Vol. 75, No. 1. pp. 155-167.
@article{c99c6fb287c74818a7491e8deeda91de,
title = "Tait's conservative extension theorem revisited",
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.",
author = "Ryota Akiyoshi",
year = "2010",
month = "3",
doi = "10.2178/jsl/1264433913",
language = "English",
volume = "75",
pages = "155--167",
journal = "Journal of Symbolic Logic",
issn = "0022-4812",
publisher = "Association for Symbolic Logic",
number = "1",

}

TY - JOUR

T1 - Tait's conservative extension theorem revisited

AU - Akiyoshi, Ryota

PY - 2010/3

Y1 - 2010/3

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77949829616&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77949829616&partnerID=8YFLogxK

U2 - 10.2178/jsl/1264433913

DO - 10.2178/jsl/1264433913

M3 - Article

AN - SCOPUS:77949829616

VL - 75

SP - 155

EP - 167

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

IS - 1

ER -