Pages that link to "Item:Q5928473"
From MaRDI portal
The following pages link to The regular-locally compact coreflection of a stably locally compact locale (Q5928473):
Displaying 24 items.
- Yet another patch construction for continuous frames and connections to the Fell compactification (Q387627) (← links)
- On a generalization of pointfree realcompactness (Q392559) (← links)
- The patch construction is dual to algebraic DCPO representation (Q633791) (← links)
- A representation of stably compact spaces, and patch topology. (Q1427774) (← links)
- Constructive metrisability in point-free topology. (Q1427775) (← links)
- On the relationship between compact regularity and Gentzen's cut rule (Q1434354) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- Function-space compactifications of function spaces (Q1612188) (← links)
- Presenting de Groot duality of stably compact spaces (Q2182316) (← links)
- Isocompactness in the category of locales. (Q2254579) (← links)
- Canonical extensions of locally compact frames (Q2310786) (← links)
- Notions of local compactness and smallest compactifications of biframes (Q2432585) (← links)
- A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure. (Q2449448) (← links)
- On the computational content of the Lawson topology (Q2500493) (← links)
- Nuclear typing of frames vs spatial selectors (Q2502180) (← links)
- Point-sensitive and point-free patch constructions (Q2504392) (← links)
- Compactly generated Hausdorff locales (Q2575768) (← links)
- On the parallel between the suplattice and preframe approaches to locale theory (Q2575778) (← links)
- A point-free characterisation of Bishop locally compact metric spaces (Q2987776) (← links)
- Boolean and classical restriction categories (Q3625678) (← links)
- Stably Compact Spaces and Closed Relations (Q4917058) (← links)
- Étale groupoids as germ groupoids and their base extensions (Q4933552) (← links)
- A short note on nearly perfect maps of locales (Q5236081) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)
