Markov's principle, Church's thesis and Lindelöf's theorem

DOI10.1016/0019-3577(93)90005-JzbMath0795.03087MaRDI QIDQ1315098

Hajime Ishihara

Publication date: 1 September 1994

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

zbMATH Keywords

metric spaceconstructive mathematicsopen coversequentially continuousExtended Church's ThesisMarkov's Principle

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Related Items

König's lemma, weak König's lemma, and the decidable fan theorem ⋮ Some principles weaker than Markov's principle ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ Refining the arithmetical hierarchy of classical principles ⋮ On the disjunctive Markov principle ⋮ SEPARATING FRAGMENTS OF WLEM, LPO, AND MP ⋮ On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions ⋮ On Brouwer's continuity principle ⋮ INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES ⋮ \(\Delta^0_1\) variants of the law of excluded middle and related principles ⋮ Strong continuity implies uniform sequential continuity ⋮ Bishop-Style Constructive Reverse Mathematics

Cites Work

• Unnamed Item
• Constructivism in mathematics. An introduction. Volume II
• Constructively Complete Finite Sets
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics

This page was built for publication: Markov's principle, Church's thesis and Lindelöf's theorem