Some principles weaker than Markov’s principle

Makoto Fujiwara, Hajime Ishihara, Takako Nemoto

Research output: Contribution to journalArticle

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 journalArticle

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

VL - 54

SP - 861

EP - 870

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

SN - 0933-5846

IS - 7-8

ER -