Some principles weaker than Markov's principle
From MaRDI portal
Publication:892139
Recommendations
- On a weakening of Markov's Principle
- On Weak Markov's Principle
- Markov's principle, Church's thesis and Lindelöf's theorem
- Markov's rule revisited
- Weak Pinsker property and Markov processes
- On the disjunctive Markov principle
- Markov's theorem revisited
- Weak Markov operators
- The Invariance Principle for Some Class of Markov Chains
Cites work
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Constructively Complete Finite Sets
- Constructivism in mathematics. An introduction. Volume II
- 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
- On the disjunctive Markov principle
- Über das Markov-Prinzip
Cited in
(12)- On the disjunctive Markov principle
- Bishop-Style Constructive Reverse Mathematics
- On Brouwer's continuity principle
- Refining the arithmetical hierarchy of classical principles
- \(\Delta^0_1\) variants of the law of excluded middle and related principles
- On a weakening of Markov's Principle
- Markov's principle and subsystems of intuitionistic analysis
- On Weak Markov's Principle
- A note on the independence of premiss rule
- Interrelation between weak fragments of double negation shift and related principles
- Markov's principle, isols and Dedekind finite sets
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
This page was built for publication: Some principles weaker than Markov's principle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892139)
