On the disjunctive Markov principle
From MaRDI portal
Publication:897485
DOI10.1007/s11225-015-9627-yzbMath1330.03091OpenAlexW1199668674MaRDI QIDQ897485
Publication date: 7 December 2015
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-015-9627-y
Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)
Related Items (6)
Some principles weaker than Markov's principle ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ Refining the arithmetical hierarchy of classical principles ⋮ INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES ⋮ \(\Delta^0_1\) variants of the law of excluded middle and related principles ⋮ Bishop-Style Constructive Reverse Mathematics
Cites Work
- Some principles weaker than Markov's principle
- Markov's principle, Church's thesis and Lindelöf's theorem
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
This page was built for publication: On the disjunctive Markov principle
