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

Research output: Contribution to journal › Article

4 Citations (Scopus)

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.

Original language	English
Pages (from-to)	861-870
Number of pages	10
Journal	Archive for Mathematical Logic
Volume	54
Issue number	7-8
DOIs	https://doi.org/10.1007/s00153-015-0444-9
Publication status	Published - 2015 Sep 8
Externally published	Yes

Fingerprint

Keywords

Church’s thesis
Disjunctive Markov’s principle
Independence of premiss schema
Markov’s principle
Weak Markov’s principle

ASJC Scopus subject areas

Logic
Philosophy

Cite this

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 -

Access to Document

10.1007/s00153-015-0444-9