The following pages link to (Q5477360):
Displayed 4 items.
- Topological inductive definitions (Q450944) (← links)
- A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)