Some principles weaker than Markov’s principle

Makoto Fujiwara; Hajime Ishihara; Takako Nemoto

doi:10.1007/s00153-015-0444-9

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	https://doi.org/10.1007/s00153-015-0444-9
出版物ステータス	Published - 2015 9 8
外部発表	Yes

フィンガープリント

ASJC Scopus subject areas

Logic
Philosophy

これを引用

Fujiwara, M., Ishihara, H., & Nemoto, T. (2015). Some principles weaker than Markov’s principle. Archive for Mathematical Logic, 54(7-8), 861-870. https://doi.org/10.1007/s00153-015-0444-9

@article{ec7e845ed194471fad79e495bd14dd53,

title = "Some principles weaker than Markov{\textquoteright}s principle",

abstract = "We systematically study several principles and give a principle which is weaker than disjunctive Markov{\textquoteright}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{\textquoteright}s thesis, Disjunctive Markov{\textquoteright}s principle, Independence of premiss schema, Markov{\textquoteright}s principle, Weak Markov{\textquoteright}s principle",

author = "Makoto Fujiwara and Hajime Ishihara and Takako Nemoto",

year = "2015",

month = sep,

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 -

文献にアクセス

10.1007/s00153-015-0444-9