scientific article; zbMATH DE number 3706504

zbMATH Open0452.06001MaRDI QIDQ3898534FDOQ3898534

Authors: Gerhard Gierz, Klaus Keimel, Karl H. Hofmann, Jimmie D. Lawson, Michael Mislove, Dana Scott

Publication date: 1980

Title of this publication is not available (Why is that?)

meet continuous lattices Bibliography topological semilattice complete Heyting algebras continuous lattice theory

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Semilattices (06A12) Topological lattices, etc. (topological aspects) (54H12) Heyting algebras (lattice-theoretic aspects) (06D20) Complemented modular lattices, continuous geometries (06C20) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Cited In (only showing first 100 items - show all)

Convergence and quantale-enriched categories
Convexity and quasi-uniformizability of closed preordered spaces
The \(\sigma_1\)-topology and \(\lambda_1\)-topology on \(s_1\)-quasicontinuous posets.
On the largest Cartesian closed category of stable domains.
Prime filters and ideals in distributive lattices
Title not available (Why is that?)
Birkhoff's order-convergence in partially ordered sets.
On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller
Quasicontinuous posets
Regularity and normality of \((L,M)\)-fuzzy topological spaces
Fuzzy Galois connections on fuzzy posets
PCF extended with real numbers
Domain theory in logical form
\(L\)-topological spaces as spaces of points
Fuzzy Galois connections under weak conditions
A logical approach to stable domains
Title not available (Why is that?)
Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
Overview and comparison of localic and fixed-basis topological products
An algebraic approach to stable domains
Soft constraint abstraction based on semiring homomorphism
Domain theory and integration
The probabilistic powerdomain for stably compact spaces
\(T_ 0\)-spaces and pointwise convergence
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
A characterization of partial metrizability: Domains are quantifiable.
Proving open properties by induction
Pair algebras and Galois connections.
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
Point-set lattice-theoretic topology
Subcategories of lattice-valued convergence spaces
Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations
Continuous completions
Lattices of convex normal functions
Bigeneration in complete lattices and principal separation in ordered sets
The Dedekind-MacNeille completion as a reflector
Fuzzy sets and sheaves. I: Basic concepts
Properly injective spaces and function spaces
Distributive laws for concept lattices
Function spaces from core compact coherent spaces to continuous B-domains
Compactification of lattice-valued convergence spaces
Degrees of fuzzy compactness in \(L\)-fuzzy topological spaces
Convex normal functions revisited
Fuzzy points and attachment
Weakly semi-preopen ``semi-preclosed functions in \(L\)-double fuzzy topological spaces
Continuity spaces: Reconciling domains and metric spaces
Duality and separation theorems in idempotent semimodules.
Regular relations and strictly completely regular ordered spaces.
Order environments of topological spaces
Posets having continuous intervals
Monoidal computer. I: Basic computability by string diagrams
An example of formalizing recent mathematical results in MIZAR
Continuous domains and their information system representation as logical systems
Bounded complete models of topological spaces
Ideal completion and Stone representation of ideal-distributive ordered sets
The way-below relation of function spaces over semantic domains
Ordered groups with a conucleus
Liminf convergence in \(\Omega\)-categories
Pointfree forms of Dowker's and Michael's insertion theorems
General Stone duality.
Extension of Shi's quasi-uniformities in a Kubiak-Šostak sense
Join-semidistributive lattices and convex geometries.
Fuzzy intervals
Deresiduums of implications on a complete lattice
A general theory of structure spaces with applications to spaces of prime ideals
Information systems for continuous posets
Stratified Hutton uniform spaces
\(RW\)-spaces and compactness of function spaces for L-domains
On the Yoneda completion of a quasi-metric space
Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces
On \(L\)-Tychonoff spaces
Solutions to two problems of J. D. Lawson and M. Mislove
Algebraic topology and concurrency
Conditional toggle mappings: principles and applications
\(s_2\)-quasicontinuous posets.
Flexary connectives in Mizar
The constructive maximal point space and partial metrizability
Topology, domain theory and theoretical computer science
A note on continuous partially ordered sets
Infinite distributive laws versus local connectedness and compactness properties
Equilogical spaces
The enriched Vietoris monad on representable spaces
Cartesian closed stable categories
The category of supercontinuous posets
Stably compact spaces and closed relations
Ditopological texture spaces and intuitionistic sets
A generalization of completely distributive lattices
Cardinal: a finite sets constraint solver
Galois connections between categories of \(L\)-topological spaces
Categories isomorphic to \(L\)-FTOP
Basic structures of fuzzy topology
Lim-inf convergence in partially ordered sets
Convergence of fuzzy sets with respect to the supremum metric
Ditopological texture spaces and fuzzy topology. I: basic concepts
Ditopological texture spaces and fuzzy topology. II: topological considerations
\textit{SI}-convergence in \(T_0\) spaces
On the axiomatisability of the dual of compact ordered spaces
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
A characterization of full sublattices of finite dimensional Euclidean space
On the category of fixed basis frame valued topological groups

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 Q3898534)