Pages that link to "Item:Q4647570"
From MaRDI portal
The following pages link to A constructive proof of the Heine-Borel covering theorem for formal reals (Q4647570):
Displaying 6 items.
- Locatedness and overt sublocales (Q638474) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- The principle of pointfree continuity (Q3121524) (← links)
- (Q5009707) (← links)
