Markov's principle, Church's thesis and Lindelöf's theorem
From MaRDI portal
Publication:1315098
DOI10.1016/0019-3577(93)90005-JzbMATH Open0795.03087MaRDI QIDQ1315098FDOQ1315098
Authors: Hajime Ishihara 
Publication date: 1 September 1994
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
Recommendations
- Markov's theorem revisited
- ON MARKOV'S THEOREM
- The Poisson Theorem and Markov Chains
- Limit theorems for some Markov chains
- An extension of Markov's theorem
- Markov renewal limit theorems
- scientific article; zbMATH DE number 4038960
- On the disjunctive Markov principle
- Lindeberg theorem for Gibbs–Markov dynamics
metric spaceconstructive mathematicsopen coversequentially continuousExtended Church's ThesisMarkov's Principle
Cites Work
Cited In (16)
- Constructively Complete Finite Sets
- On Brouwer's continuity principle
- Refining the arithmetical hierarchy of classical principles
- König's lemma, weak König's lemma, and the decidable fan theorem
- A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
- Church's thesis, continuity, and set theory
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Some principles weaker than Markov's principle
- On the disjunctive Markov principle
- Bishop-Style Constructive Reverse Mathematics
- Indecomposability of R and R \ in Constructive Reverse Mathematics
- Strong continuity implies uniform sequential continuity
- Separating fragments of WLEM, LPO, and MP
- Interrelation between weak fragments of double negation shift and related principles
- \(\Delta^0_1\) variants of the law of excluded middle and related principles
This page was built for publication: Markov's principle, Church's thesis and Lindelöf's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1315098)
