The following pages link to Classifying Dini's theorem (Q867406):
Displaying 9 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- (Q2752144) (← links)
- A variant formulation of Dini's theorem (Q2888356) (← links)
- The swap of integral and limit in constructive mathematics (Q3053233) (← links)
- Lipschitz functions in constructive reverse mathematics (Q4925156) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- A note on continuous functions on metric spaces (Q6670881) (← links)