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

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

6 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

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

Access to Document

10.1007/s00153-015-0444-9

Cite this

@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 -

Some principles weaker than Markov’s principle

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this