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)

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
Bigeneration in complete lattices and principal separation in ordered sets
Continuous domains and their information system representation as logical systems
The Dedekind-MacNeille completion as a reflector
Basic structures of fuzzy topology
Ditopological texture spaces and intuitionistic sets
Topology, domain theory and theoretical computer science
The probabilistic powerdomain for stably compact spaces
Regularity and normality of \((L,M)\)-fuzzy topological spaces
\(L\)-topological spaces as spaces of points
Fuzzy Galois connections under weak conditions
Fuzzy points and attachment
On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller
A logical approach to stable domains
Equilogical spaces
Ordered groups with a conucleus
Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
scientific article; zbMATH DE number 896401 (Why is no real title available?)
\(T_ 0\)-spaces and pointwise convergence
Lim-inf convergence in partially ordered sets
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
Bounded complete models of topological spaces
Ideal completion and Stone representation of ideal-distributive ordered sets
Fuzzy sets and sheaves. I: Basic concepts
Cardinal: a finite sets constraint solver
Weakly semi-preopen ``semi-preclosed functions in \(L\)-double fuzzy topological spaces
Join-semidistributive lattices and convex geometries.
Prime filters and ideals in distributive lattices
Continuity spaces: Reconciling domains and metric spaces
Quasicontinuous posets
Information systems for continuous posets
A characterization of partial metrizability: Domains are quantifiable.
Stratified Hutton uniform spaces
Liminf convergence in \(\Omega\)-categories
Overview and comparison of localic and fixed-basis topological products
scientific article; zbMATH DE number 2235218 (Why is no real title available?)
Fuzzy intervals
\(RW\)-spaces and compactness of function spaces for L-domains
A generalization of completely distributive lattices
On the Yoneda completion of a quasi-metric space
Convergence of fuzzy sets with respect to the supremum metric
An algebraic approach to stable domains
Algebraic topology and concurrency
Pointfree forms of Dowker's and Michael's insertion theorems
Conditional toggle mappings: principles and applications
Proving open properties by induction
A note on continuous partially ordered sets
Convexity and quasi-uniformizability of closed preordered spaces
Duality and separation theorems in idempotent semimodules.
Regular relations and strictly completely regular ordered spaces.
The enriched Vietoris monad on representable spaces
Pair algebras and Galois connections.
Order environments of topological spaces
Fuzzy Galois connections on fuzzy posets
\(s_2\)-quasicontinuous posets.
Flexary connectives in Mizar
Cartesian closed stable categories
Deresiduums of implications on a complete lattice
Posets having continuous intervals
A general theory of structure spaces with applications to spaces of prime ideals
General Stone duality.
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
The category of supercontinuous posets
Uniform ideal completions
Embedding \(\omega\)-continuous posets in function spaces of domains
Archimedean components of triangular norms
Textures and \(C\)-spaces
Completion in a common supercategory of Met, UAP, wsAP and near

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)