Markov's principle, Church's thesis and Lindelöf's theorem
From MaRDI portal
(Redirected from Publication:1315098)
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
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
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
- 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)
