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)

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.
Meet continuous lattices, limit spaces, and \(L\)-topological spaces.
Logical optimality of groundness analysis
Limit structures and many valued topologies
A duality of quantale-enriched categories
Asymmetry and duality in topology
Catalytic distributive lattices and compact zero-dimensional topological lattices
Borel measures in consonant spaces
Dual spaces of some congruence lattices.
Complete congruences on topologies and down-set lattices
Higher separation axioms in \(L\)-topologically generated \(\mathbb I(L)\)-topological spaces
Applications of real number theorem proving in PVS
A particular Galois connection between relations and set functions.
Spectral sets
Convex power domain and Vietoris space
Fixed points of Scott continuous self-maps
Topological duality and lattice expansions. I: A topological construction of canonical extensions.
Continuous categories and exponentiable toposes
Categories of lattice-valued sets as categories of arrows
Local Initial Segments of The Turing Degrees
An upper power domain construction in terms of strongly compact sets
Topologies on lattice ordered groups, separation from closed downward sets and conjugations of type Lau
A topological position of the set of continuous maps in the set of upper semicontinuous maps
A topological representation of lattices
\(L\)-uniform spaces versus \(\mathbb {I}(L)\)-uniform spaces
Extension of valuations on locally compact sober spaces
Stable power domains
On regularity of sup-preserving maps: generalizing Zareckiĭ's theorem
Duality vs. adjunction for fuzzy mathematical morphology and general form of fuzzy erosions and dilations
Foundation of a computable solid modelling.
FUZZY TOPOLOGIES OF SCOTT CONTINUOUS FUNCTIONS AND THEIR RELATION TO THE HYPERGRAPH FUNCTOR
On Kan-injectivity of locales and spaces
On \(d\)-spaces
A new view of relationship between atomic posets and complete (algebraic) lattices
Title not available (Why is that?)
Title not available (Why is that?)
Lattice-valued fuzzy interior operators
On the hierarchy of d-structures
Maximal classes of spaces and domains determined by topologies on function spaces of domains
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?)

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)