Pages that link to "Item:Q3030826"
From MaRDI portal
The following pages link to Constructively Complete Finite Sets (Q3030826):
Displaying 11 items.
- Some principles weaker than Markov's principle (Q892139) (← links)
- Markov's principle, Church's thesis and Lindelöf's theorem (Q1315098) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- Completeness: when enough is enough (Q2003502) (← links)
- SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
- Continuity and nondiscontinuity in constructive mathematics (Q3984410) (← links)
- Continuity properties in constructive mathematics (Q4032642) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- (Q5379646) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
