Pages that link to "Item:Q1427775"
From MaRDI portal
The following pages link to Constructive metrisability in point-free topology. (Q1427775):
Displaying 8 items.
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology (Q636295) (← links)
- Cosheaves and connectedness in formal topology (Q651322) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- Some points in formal topology. (Q1427787) (← links)
- On the collection of points of a formal space (Q2575767) (← links)
- The constructive maximal point space and partial metrizability (Q2575776) (← links)
- A point-free characterisation of Bishop locally compact metric spaces (Q2987776) (← links)
- On constructing completions (Q5718698) (← links)
