Some principles weaker than Markov’s principle
- 115 Downloads
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.
KeywordsMarkov’s principle Disjunctive Markov’s principle Weak Markov’s principle Independence of premiss schema Church’s thesis
Mathematics Subject Classification03F50
Unable to display preview. Download preview PDF.
- 2.Kohlenbach U.: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer, Heidelberg-Berlin (2008)Google Scholar
- 3.Kohlenbach, U.: On the disjunctive Markov principle, Studia Logica. doi: 10.1007/s11225-015-9627-y
- 7.Troelstra A.S., van Dirk D.: Constructivism in Mathematics, vols. I and II. North-Holland, Amsterdam (1988)Google Scholar