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?)
Fuzzy topology with respect to continuous lattices
Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
Set-theoretical and other elementary models of the \(\lambda\)-calculus
ON STRATIFIED LATTICE-VALUED CONVERGENCE SPACES
Priestley Spaces
Axiomatic approaches to rough approximation operators via ideal on a complete completely distributive lattice
Torsion free modules
Polish spaces, computable approximations, and bitopological spaces
An abstract interpretation-based model for safety semantics
The Dedekind-MacNeille completions for fuzzy posets
Mathematical morphology on bipolar fuzzy sets: general algebraic framework
Projective frames: a general view
Rough approximations via ideal on a complete completely distributive lattice
On \(L\)-Tychonoff spaces. II
Dicompleteness and real dicompactness of ditopological texture spaces
Plain ditopological texture spaces
Representation theorem of fuzzy lattices and its applications in fuzzy topology
Down and up operators associated to fuzzy relations and t-norms: A definition of fuzzy semi-ideals
Sublattices of lattices of order-convex sets. I: The main representation theorem
Metrization theorems in \(L\)-topological spaces
Compact continuous \(L\)-domains
Non-well-founded sets modeled as ideal fixed points
Sublattices of Euclidean spaces
Convex powerdomains. I
On group topologies and idempotents in weak almost periodic compactifications
Coproducts of bounded \((\alpha,\beta)\)-distributive lattices
Generalized Lowen functors
Approximating orders in meet-continuous lattices and regularity axioms in many valued topology
Sequentially dinormal ditopological texture spaces and dimetrizability
Dimensional properties of graphs and digital spaces.
Connections
\((L,M)\)-fuzzy matroids
Completely regular ordered spaces
Finite dimensional continuous representations of compact regular semigroups
Continuous monoids and semirings
Separation axioms in \(L\)-fuzzy topological spaces. I: \(T_0\) and \(T_1\)
On the reflectivity and coreflectivity of \(L\)-fuzzyfying topological spaces in \(L\)-topological spaces.
Weak relative pseudo-complements of closure operators
Some questions in fuzzy topology
M-distributive lattices
Vaught measures and their applications in lattice theory
\(\kappa\)-continuous lattices and comprehension principles for Frege structures
Subalgebra systems of idempotent entropic algebras
Convex powerdomains. II
\(H(\lambda)\)-completely Hausdorff axiom on \(L\)-topological 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 Q3898534)