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

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