scientific article; zbMATH DE number 3706504

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)

Universal quasi-prime algebraic domains
Dualities of Noetherian posets
Topologies on the subgroup lattice of a compact group
Some applications of lattice theory to shape theory
Computation on metric spaces via domain theory
Total objects of domains
On the compact open and finest splitting topologies
The inverse limit in the category of topological molecular lattices
Interpolating functions
Denotational semantics of a parallel object-oriented language
Pointwise topology on completely distributive lattices
Ideal-valued topological structures
A domain-theoretic approach to computability on the real line
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
Monotone insertion of lattice-valued functions
Continuous Fragment of the mu-Calculus
Intervals in lattices of quasiorders
\(\alpha\)-compactness in \(L\)-fuzzy topological spaces
Connectedness in \(L\)-fuzzy topological spaces
Continuous monads
On the existence of ordered couplings of random sets -- with applications
A faithful computational model of the real numbers
Duality beyond sober spaces: Topological spaces and observation frames
Metric completion versus ideal completion
Sheaves of implicit operations in weak varieties of partial algebras
The Mathematical Import of Zermelo's Well-Ordering Theorem
An extension of Stone duality to fuzzy topologies and MV-algebras
Constructing a quasi-uniform function space
Limit structures over completely distributive lattices
Projective mappings between projective lattice geometries
On characterizations of some covering properties in \(L\)-fuzzy topological spaces in Šostak's sense
Morphisms of projective geometries and of corresponding lattices
Programs in partial algebras
Domains arising as algebras for powerspace constructions
\(\theta \)-compactness in L-topological spaces
Extended-order algebras and fuzzy implicators
A dynamic programming approach to distribution-constrained optimal stopping
ORDERED ONEPOINT-COMPACTIFICATIONS, STABLY CONTINUOUS FRAMES AND TENSORS
Esakia style duality for implicative semilattices
Completely induced \(L\)-fuzzy topological spaces
Quasi-prime algebraic domains
A localic \(L\)-fuzzy modification of topological spaces
Exponentiable objects in the category of topological molecular lattices
Stratified \(LMN\)-convergence tower spaces
Lattice-valued Hahn-Dieudonné-Tong insertion theorem and stratification structure
Compactness in \(L\)-fuzzy topological spaces
Real dicompact textures
Local connectedness in \(L\)-topological spaces
Paracompactness in \(L\)-topological spaces
Some good \(L\)-fuzzy compactness-related concepts and their properties. I
Some good \(L\)-fuzzy compactness-related concepts and their properties. II
A note on a natural equivalence relation on fuzzy power set
Real dicompactifications of ditopological texture spaces
A Daniell-Kolmogorov theorem for supremum preserving upper probabilities
The semi-precompactness axiom
Bohr topologies and compact function spaces
Set-sharing is redundant for pair-sharing
Lattice-valued mappings, completely distributive law and induced spaces
Stratified \(LMN\)-convergence tower groups and their stratified \(LMN\)-uniform convergence tower structures
Simplification of Erceg's fuzzy metric function and its application
Paracompactness on \(L\)-fuzzy topological spaces
On compact Hausdorff \(L\)-fuzzy spaces
The patch construction is dual to algebraic DCPO representation
On the \(L\)-fuzzy Brouwer fixed point theorem
scientific article; zbMATH DE number 130890 (Why is no real title available?)
Some of Melvin Henriksen's contributions to spaces of ideals
A Direct Proof of the Hofmann-Mislove Theorem
Some abstract maximal ideal-like spaces
CABool is monadic over almost all categories
Inner Points and Breadth in Certain Compact Semilattices
On the axiomatisability of the dual of compact ordered spaces
The query topology in logic programming
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
PROPOSITIONAL LOGIC, FRAMES, AND FUZZY ALGEBRA
Stopping and set-indexed local martingales
Compact representations - the lattice theory of compact ringed spaces
Projective and injective objects in the category of quantales
\textit{SI}-convergence in \(T_0\) spaces
D-continuous causal nets: A model of non-sequential processes
Continuity of linear operators in \(L\)-fuzzifying topological vector spaces
On Uniform Convergence Structures
On directed sets and their suprema
The category of pointwise S-proximity spaces
On dissolute spaces
Discrete dynamical systems in \(L\)-topological spaces
Projective sup-algebras: a general view
scientific article; zbMATH DE number 6027026 (Why is no real title available?)
Regular algebra applied to language problems
A generalization of core compact spaces
\(\theta\)-continuity and \(D_\theta\)-completion of posets
Retracts of the closure space of filters in the lattice of all subsets
Generalized quasi-proximities
Intrinsic topologies on semilattices of finite breadth
Spacetimes as topological spaces, and the need to take methods of general topology more seriously
Comparative semantics for flow of control in logic programming without logic
Equational theory of continuous lattices
Strong fuzzy compact sets and ultra-fuzzy compact sets in \(L\)-topological spaces
Tensor products of complete lattices and their application in constructing quantales
Closure functions and general iterates as reflectors
Categories of locally hypercompact spaces and quasicontinuous posets

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)