scientific article
From MaRDI portal
Publication:3915037
zbMath0464.06005MaRDI QIDQ3915037
Michael W. Mislove, Karl Heinrich Hofmann
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebras (lattice-theoretic aspects) (06D20) Representation theory of lattices (06B15) Topological lattices, etc. (topological aspects) (54H12) Lattice ideals, congruence relations (06B10) Topological lattices (06B30)
Related Items (48)
Some open problems on well-filtered spaces and sober spaces ⋮ A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Infinite intersection types ⋮ Zero dimensional and connected domains ⋮ The strength of prime separation, sobriety, and compactness theorems ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Infinite distributive laws versus local connectedness and compactness properties ⋮ Weak distributive laws and their role in lattices of congruences and equational theories ⋮ Coalgebraic representations of distributive lattices with operators ⋮ \(s_{Z}\)-quasicontinuous posets and meet \(s_{Z}\)-continuous posets ⋮ First countability, \( \omega \)-well-filtered spaces and reflections ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ Unnamed Item ⋮ 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 ⋮ Ideal models of spaces. ⋮ Essentially complete \(T_ 0-\)spaces. II. A lattice-theoretic approach ⋮ Bigeneration in complete lattices and principal separation in ordered sets ⋮ A Hofmann-Mislove theorem for bitopological spaces ⋮ Duality beyond sober spaces: Topological spaces and observation frames ⋮ Sheaves and duality ⋮ Choiceless, pointless, but not useless: dualities for preframes ⋮ Power domains and second-order predicates ⋮ The mixed powerdomain ⋮ Domains arising as algebras for powerspace constructions ⋮ Ideal completion and Stone representation of ideal-distributive ordered sets ⋮ The regular-locally compact coreflection of a stably locally compact locale ⋮ Point-sensitive and point-free patch constructions ⋮ Categories of locally hypercompact spaces and quasicontinuous posets ⋮ On the existence of ordered couplings of random sets -- with applications ⋮ Computable analysis with applications to dynamic systems ⋮ Canonical extensions of locally compact frames ⋮ The connected Vietoris powerlocale ⋮ Completely primeL-filters, irreducibleL-filters and sobriety ⋮ Local Compactness and the Baire Category Theorem in Abstract Stone Duality ⋮ 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 ⋮ Compactly generated Hausdorff locales ⋮ Hofmann-Mislove through the lenses of Priestley ⋮ Clausal logic and logic programming in algebraic domains ⋮ A Hofmann-Mislove theorem for Bitopological Spaces ⋮ Extension of valuations on locally compact sober spaces ⋮ A characterisation of lattice-ordered Abelian groups ⋮ Function-space compactifications of function spaces
This page was built for publication:
