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
Galois connections between categories of \(L\)-topological spaces
Categories isomorphic to \(L\)-FTOP
Soft constraint abstraction based on semiring homomorphism
Convergence and quantale-enriched categories
Properly injective spaces and function spaces
Point-set lattice-theoretic topology
Stably compact spaces and closed relations
PCF extended with real numbers
Distributive laws for concept lattices
Extension of Shi's quasi-uniformities in a Kubiak-Šostak sense
Domain theory in logical form
Infinite distributive laws versus local connectedness and compactness properties
Ditopological texture spaces and fuzzy topology. I: basic concepts
Ditopological texture spaces and fuzzy topology. II: topological considerations
The \(\sigma_1\)-topology and \(\lambda_1\)-topology on \(s_1\)-quasicontinuous posets.
Subcategories of lattice-valued convergence spaces
Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces
On \(L\)-Tychonoff spaces
Solutions to two problems of J. D. Lawson and M. Mislove
On the largest Cartesian closed category of stable domains.
The way-below relation of function spaces over semantic domains
Function spaces from core compact coherent spaces to continuous B-domains
Domain theory and integration
Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations
Monoidal computer. I: Basic computability by string diagrams
Compactification of lattice-valued convergence spaces
Degrees of fuzzy compactness in \(L\)-fuzzy topological spaces
Convex normal functions revisited
Continuous completions
An example of formalizing recent mathematical results in MIZAR
Birkhoff's order-convergence in partially ordered sets.
Lattices of convex normal functions
The constructive maximal point space and partial metrizability

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)