Pages that link to "Item:Q3159411"
From MaRDI portal
The following pages link to Compactness under constructive scrutiny (Q3159411):
Displayed 9 items.
- The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
- Continuity and Lipschitz constants for projections (Q1044668) (← links)
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452) (← links)
- The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- Completeness and cocompleteness of the categories of basic pairs and concrete spaces (Q5740674) (← links)