Pages that link to "Item:Q881455"
From MaRDI portal
The following pages link to A constructive and functorial embedding of locally compact metric spaces into locales (Q881455):
Displaying 10 items.
- Atomicity, coherence of information, and point-free structures (Q290637) (← links)
- Local metrically generated theories (Q429318) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Closed subsets in Bishop topological groups (Q2084948) (← links)
- Metric complements of overt closed sets (Q3170557) (← links)
- (Q3802224) (← links)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
- Formally continuous functions on Baire space (Q5109223) (← links)
- Formal continuity implies uniform continuity near compact images on metric spaces (Q5404165) (← links)
