Some principles weaker than Markov's principle
From MaRDI portal
Publication:892139
DOI10.1007/S00153-015-0444-9zbMATH Open1354.03093OpenAlexW2163156470MaRDI QIDQ892139FDOQ892139
Takako Nemoto, Makoto Fujiwara, Hajime Ishihara
Publication date: 18 November 2015
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-015-0444-9
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
Markov's principleChurch's thesisdisjunctive Markov's principleindependence of premiss schemaweak Markov's principle
Cites Work
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Constructivism in mathematics. An introduction. Volume II
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Constructively Complete Finite Sets
- Markov's principle, Church's thesis and Lindelöf's theorem
- Über das Markov-Prinzip
- On the disjunctive Markov principle
Cited In (11)
- On a weakening of Markov's Principle
- On Weak Markov's Principle
- A note on the independence of premiss rule
- On Brouwer's continuity principle
- Markov's principle, isols and Dedekind finite sets
- Refining the arithmetical hierarchy of classical principles
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
- On the disjunctive Markov principle
- Bishop-Style Constructive Reverse Mathematics
- \(\Delta^0_1\) variants of the law of excluded middle and related 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)
