Pages that link to "Item:Q5444707"
From MaRDI portal
The following pages link to The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem (Q5444707):
Displayed 4 items.
- Glueing continuous functions constructively (Q982187) (← links)
- Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
- Constructive notions of equicontinuity (Q2391094) (← links)
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452) (← links)