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)

\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
Some abstract maximal ideal-like spaces
Projective and injective objects in the category of quantales
Prime algebraicity
Categories of locally hypercompact spaces and quasicontinuous posets
Some categorical aspects of fuzzy topology
CABool is monadic over almost all categories
Connectedness on fuzzy topological spaces
An insertion theorem for continuous \(\mathbb I(L)\)-valued functions and its consequences
On degree spectra of topological spaces
Separation axioms in fuzzy topology characterized by bitopologies
Generalized quasi-proximities
Tensor products of complete lattices and their application in constructing quantales
Predictability and stopping on lattices of sets
Lattices of random sets and progressivity
Continuity of linear operators in \(L\)-fuzzifying topological vector spaces
On directed sets and their suprema
Inner Points and Breadth in Certain Compact Semilattices
Sums of \(L\)-fuzzy topological spaces
Stopping and set-indexed local martingales
Spacetimes as topological spaces, and the need to take methods of general topology more seriously
Projective sup-algebras: a general view
Intersection types and computational rules
Semigroups with \(\wedge\)-semidistributive subsemigroup lattices
\(L\)-proximities and totally bounded pointwise \(L\)-uniformities
The category of pointwise S-proximity spaces
A note on stratified \(L\)-real line and unit \(L\)-interval
Lattices of capacities, and related topologies1
The query topology in logic programming
PROPOSITIONAL LOGIC, FRAMES, AND FUZZY ALGEBRA
On Uniform Convergence Structures
Induction and recursion on the partial real line with applications to Real PCF
D-continuous causal nets: A model of non-sequential processes
Intersection types and lambda models
Stability of the Souslin operation
Strong fuzzy compact sets and ultra-fuzzy compact sets in \(L\)-topological spaces
A tribute to Karl H. Hofmann on the occasion of his 75th birthday
Intrinsic topologies on semilattices of finite breadth
Comparative semantics for flow of control in logic programming without logic
Equational theory of continuous lattices
Closure functions and general iterates as reflectors
Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
\(\theta\)-continuity and \(D_\theta\)-completion of posets
On dissolute spaces
Discrete dynamical systems in \(L\)-topological spaces
Regular algebra applied to language problems
A generalization of core compact spaces
Retracts of the closure space of filters in the lattice of all subsets
Designing equivalent semantic models for process creation
Compact representations - the lattice theory of compact ringed spaces
Title not available (Why is that?)
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

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)