The connected Vietoris powerlocale
From MaRDI portal
Publication:1030196
DOI10.1016/j.topol.2009.03.043zbMath1171.54009OpenAlexW2117917957MaRDI QIDQ1030196
Publication date: 1 July 2009
Published in: Topology and its Applications (Search for Journal in Brave)
Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/2919649/CViet.pdf
Complete metric spaces (54E50) Hyperspaces in general topology (54B20) Categorical logic, topoi (03G30) Frames, locales (06D22) Connected and locally connected spaces (general aspects) (54D05) Constructive real analysis (26E40)
Related Items (3)
Continuity and geometric logic ⋮ General insertion and extension theorems for localic real functions ⋮ Fuzzy sets and geometric logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cosheaves and connectedness in formal topology
- Partial Horn logic and Cartesian categories
- On powerdomains and modality
- Power domains
- Completeness results for intuitionistic and modal logic in a categorical setting
- A universal characterization of the double powerlocale
- Information systems for continuous posets
- Singular coverings of toposes
- Strong functors and monoidal monads
- Differential calculus over general base fields and rings.
- Compactness in locales and in formal topology
- Localic completion of generalized metric spaces II: Powerlocales
- An extension of the Galois theory of Grothendieck
- The Dedekind reals in abstract Stone duality
- Handbook of Spatial Logics
- Connected Locally Connected Toposes are Path-Connected
- Quantales, observational logic and process semantics
- Continuous domains as formal spaces
- Constructive points of powerlocales
- Strongly algebraic = SFP (topically)
- Topical categories of domains
- Sublocales in formal topology
This page was built for publication: The connected Vietoris powerlocale
