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)

The inverse limit in the category of topological molecular lattices
Denotational semantics of a parallel object-oriented language
Morphisms of projective geometries and of corresponding lattices
Programs in partial algebras
Domains arising as algebras for powerspace constructions
Local connectedness in \(L\)-topological spaces
Bohr topologies and compact function spaces
Some applications of lattice theory to shape theory
Exponentiable objects in the category of topological molecular lattices
Paracompactness in \(L\)-topological spaces
Title not available (Why is that?)
Lattice-valued mappings, completely distributive law and induced spaces
A note on a natural equivalence relation on fuzzy power set
The semi-precompactness axiom
Constructing a quasi-uniform function space
Paracompactness on \(L\)-fuzzy topological spaces
Projective mappings between projective lattice geometries
Stratified \(LMN\)-convergence tower spaces
A Daniell-Kolmogorov theorem for supremum preserving upper probabilities
Simplification of Erceg's fuzzy metric function and its application
On compact Hausdorff \(L\)-fuzzy spaces
On characterizations of some covering properties in \(L\)-fuzzy topological spaces in Šostak's sense
Dualities of Noetherian posets
Monotone insertion of lattice-valued functions
\(\alpha\)-compactness in \(L\)-fuzzy topological spaces
Connectedness in \(L\)-fuzzy topological spaces
Continuous monads
Real dicompact textures
Real dicompactifications of ditopological texture spaces
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
Sheaves of implicit operations in weak varieties of partial algebras
\(\theta \)-compactness in L-topological spaces
Completely induced \(L\)-fuzzy topological spaces
A localic \(L\)-fuzzy modification of topological spaces
Compactness in \(L\)-fuzzy topological spaces
Some good \(L\)-fuzzy compactness-related concepts and their properties. I
Some good \(L\)-fuzzy compactness-related concepts and their properties. II
ORDERED ONEPOINT-COMPACTIFICATIONS, STABLY CONTINUOUS FRAMES AND TENSORS
Stratified \(LMN\)-convergence tower groups and their stratified \(LMN\)-uniform convergence tower structures
Pointwise topology on completely distributive lattices
Ideal-valued topological structures
Set-sharing is redundant for pair-sharing
Interpolating functions
A dynamic programming approach to distribution-constrained optimal stopping
Computation on metric spaces via domain theory
On the existence of ordered couplings of random sets -- with applications
Lattice-valued Hahn-Dieudonné-Tong insertion theorem and stratification structure
The patch construction is dual to algebraic DCPO representation
Some of Melvin Henriksen's contributions to spaces of ideals
Extended-order algebras and fuzzy implicators
On the \(L\)-fuzzy Brouwer fixed point theorem
Total objects of domains
A Direct Proof of the Hofmann-Mislove Theorem
Topologies on the subgroup lattice of a compact group
A domain-theoretic approach to computability on the real line
Limit structures over completely distributive lattices
Continuous Fragment of the mu-Calculus
Quasi-prime algebraic domains
Universal quasi-prime algebraic domains
Intervals in lattices of quasiorders
Esakia style duality for implicative semilattices
On the compact open and finest splitting topologies
A faithful computational model of the real numbers
Duality beyond sober spaces: Topological spaces and observation frames
Metric completion versus ideal completion
The Mathematical Import of Zermelo's Well-Ordering Theorem
An extension of Stone duality to fuzzy topologies and MV-algebras
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

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)