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
Spacetimes as Topological Spaces, and the Need to Take Methods of General Topology More Seriously
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
θ-continuity and D_θ-completion of posets
Inner Points and Breadth in Certain Compact Semilattices
Sums of \(L\)-fuzzy topological spaces
Stopping and set-indexed local martingales
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
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?)
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

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)