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 languageEnglish
Pages (from-to)861-870
Number of pages10
JournalArchive for Mathematical Logic
Volume54
Issue number7-8
DOIs
Publication statusPublished - 2015 Sep 8
Externally publishedYes

Fingerprint

Strictly

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

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

In: Archive for Mathematical Logic, Vol. 54, No. 7-8, 08.09.2015, p. 861-870.

Research output: Contribution to journal › Article

Fujiwara, M, Ishihara, H & Nemoto, T 2015, 'Some principles weaker than Markov’s principle', Archive for Mathematical Logic, vol. 54, no. 7-8, pp. 861-870. https://doi.org/10.1007/s00153-015-0444-9
Fujiwara M, Ishihara H, Nemoto T. Some principles weaker than Markov’s principle. Archive for Mathematical Logic. 2015 Sep 8;54(7-8):861-870. https://doi.org/10.1007/s00153-015-0444-9
Fujiwara, Makoto ; Ishihara, Hajime ; Nemoto, Takako. / Some principles weaker than Markov’s principle. In: Archive for Mathematical Logic. 2015 ; Vol. 54, No. 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 -

Access to Document