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