Some principles weaker than Markov's principle

Some principles weaker than Markov's principle

TitleSome principles weaker than Markov's principle
Publication TypeJournal Article
Year of Publication2015
AuthorsFujiwara M, Ishihara H, Nemoto T
JournalArchive for Mathematical Logic
Volume54
Pagination861–870
ISSN1432-0665
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.

URLhttp://dx.doi.org/10.1007/s00153-015-0444-9
DOI10.1007/s00153-015-0444-9
Undefined