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.
Similar content being viewed by others
References
Ishihara H.: Markov’s principle, Church’s thesis and Lindelöf theorem. Indag. Math. (N.S.) 4, 321–325 (1993)
Kohlenbach U.: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer, Heidelberg-Berlin (2008)
Kohlenbach, U.: On the disjunctive Markov principle, Studia Logica. doi:10.1007/s11225-015-9627-y
Luckhardt H.: Über das Markov-Prinzip. Arch. Math. Log. 18, 73–80 (1977)
Mandelkern M.: Constructive complete finite sets. Z. Math. Logik Grundlagen Math. 34, 97–103 (1988)
Troelstra A.S.: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Springer, Berlin (1973)
Troelstra A.S., van Dirk D.: Constructivism in Mathematics, vols. I and II. North-Holland, Amsterdam (1988)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fujiwara, M., Ishihara, H. & Nemoto, T. Some principles weaker than Markov’s principle. Arch. Math. Logic 54, 861–870 (2015). https://doi.org/10.1007/s00153-015-0444-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-015-0444-9
Keywords
- Markov’s principle
- Disjunctive Markov’s principle
- Weak Markov’s principle
- Independence of premiss schema
- Church’s thesis