Some principles weaker than Markov’s principle

Makoto Fujiwara, Hajime Ishihara, Takako Nemoto

研究成果: Article

4 引用 (Scopus)

抄録

We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle (MP). We also show that the principle is underivable and strictly weaker than MP in certain extensions of the system EL of elementary analysis.

元の言語English
ページ(範囲)861-870
ページ数10
ジャーナルArchive for Mathematical Logic
54
発行部数7-8
DOI
出版物ステータスPublished - 2015 9 8
外部発表Yes

Fingerprint

Strictly

ASJC Scopus subject areas

  • Logic
  • Philosophy

これを引用

Some principles weaker than Markov’s principle. / Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako.

:: Archive for Mathematical Logic, 巻 54, 番号 7-8, 08.09.2015, p. 861-870.

研究成果: Article

Fujiwara, M, Ishihara, H & Nemoto, T 2015, 'Some principles weaker than Markov’s principle', Archive for Mathematical Logic, 巻. 54, 番号 7-8, pp. 861-870. https://doi.org/10.1007/s00153-015-0444-9
Fujiwara, Makoto ; Ishihara, Hajime ; Nemoto, Takako. / Some principles weaker than Markov’s principle. :: Archive for Mathematical Logic. 2015 ; 巻 54, 番号 7-8. pp. 861-870.
@article{ec7e845ed194471fad79e495bd14dd53,
title = "Some principles weaker than Markov’s principle",
abstract = "We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle (MP∨). We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.",
keywords = "Church’s thesis, Disjunctive Markov’s principle, Independence of premiss schema, Markov’s principle, Weak Markov’s principle",
author = "Makoto Fujiwara and Hajime Ishihara and Takako Nemoto",
year = "2015",
month = "9",
day = "8",
doi = "10.1007/s00153-015-0444-9",
language = "English",
volume = "54",
pages = "861--870",
journal = "Archive for Mathematical Logic",
issn = "0933-5846",
publisher = "Springer New York",
number = "7-8",

}

TY - JOUR

T1 - Some principles weaker than Markov’s principle

AU - Fujiwara, Makoto

AU - Ishihara, Hajime

AU - Nemoto, Takako

PY - 2015/9/8

Y1 - 2015/9/8

N2 - We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle (MP∨). We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.

AB - We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle (MP∨). We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.

KW - Church’s thesis

KW - Disjunctive Markov’s principle

KW - Independence of premiss schema

KW - Markov’s principle

KW - Weak Markov’s principle

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

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

U2 - 10.1007/s00153-015-0444-9

DO - 10.1007/s00153-015-0444-9

M3 - Article

AN - SCOPUS:84945440411

VL - 54

SP - 861

EP - 870

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

SN - 0933-5846

IS - 7-8

ER -