Pages that link to "Item:Q1315098"
From MaRDI portal
The following pages link to Markov's principle, Church's thesis and Lindelöf's theorem (Q1315098):
Displaying 12 items.
- Some principles weaker than Markov's principle (Q892139) (← links)
- On the disjunctive Markov principle (Q897485) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- \(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582) (← links)
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions (Q2505640) (← links)
- Strong continuity implies uniform sequential continuity (Q2573727) (← links)
- SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- König's lemma, weak König's lemma, and the decidable fan theorem (Q6047683) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
