scientific article; zbMATH DE number 3726420
From MaRDI portal
Publication:3915037
Cited in
(55)- The connected Vietoris powerlocale
- Weak distributive laws and their role in lattices of congruences and equational theories
- Essentially complete \(T_ 0-\)spaces. II. A lattice-theoretic approach
- Bigeneration in complete lattices and principal separation in ordered sets
- The mixed powerdomain
- Ideal completion and Stone representation of ideal-distributive ordered sets
- Quantitative semantics, topology, and possibility measures
- Properly injective spaces and function spaces
- The way-below relation of function spaces over semantic domains
- Topology, domain theory and theoretical computer science
- Uniform approximation of topological spaces
- A characterisation of lattice-ordered Abelian groups
- Ideal models of spaces.
- Function-space compactifications of function spaces
- The strength of prime separation, sobriety, and compactness theorems
- Sheaves and duality
- Categories of locally hypercompact spaces and quasicontinuous posets
- On the existence of ordered couplings of random sets -- with applications
- Clausal logic and logic programming in algebraic domains
- Extension of valuations on locally compact sober spaces
- Infinite intersection types
- Zero dimensional and connected domains
- Hofmann-Mislove through the lenses of Priestley
- A denotational semantics for low-level probabilistic programs with nondeterminism
- First countability, \( \omega \)-well-filtered spaces and reflections
- On \(T_0\) spaces determined by well-filtered spaces
- Coincidence of the upper Vietoris topology and the Scott topology
- On H-sober spaces and H-sobrifications of \(T_0\) spaces
- Canonical extensions of locally compact frames
- Infinite distributive laws versus local connectedness and compactness properties
- \(s_{Z}\)-quasicontinuous posets and meet \(s_{Z}\)-continuous posets
- Choiceless, pointless, but not useless: dualities for preframes
- Point-sensitive and point-free patch constructions
- Compactly generated Hausdorff locales
- Boolean topological distributive lattices and canonical extensions
- Local compactness and the Baire category theorem in abstract Stone duality
- Computable analysis with applications to dynamic systems
- Completely prime L-filters, irreducible L-filters and sobriety
- A Hofmann-Mislove theorem for bitopological spaces
- scientific article; zbMATH DE number 7646807 (Why is no real title available?)
- The regular-locally compact coreflection of a stably locally compact locale
- Deriving dualities in pointfree topology from Priestley duality
- Duality beyond sober spaces: Topological spaces and observation frames
- A Hofmann-Mislove theorem for c-well-filtered spaces
- Power domains and second-order predicates
- Raney extensions: a pointfree theory of T₀ spaces based on canonical extension
- Domains arising as algebras for powerspace constructions
- A Boolean-valued space approach to separation axioms and sobriety of bitopological spaces
- Spaces determined by their Smyth hyperspaces with the Scott topology
- Local compactness in MT-algebras
- Canonical extensions via fitted sublocales
- Machine space. I: Weak exponentials and quantification over compact spaces
- Some open problems on well-filtered spaces and sober spaces
- Coalgebraic representations of distributive lattices with operators
- A Hofmann-Mislove theorem for bitopological spaces
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3915037)
