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)

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
Lattices of capacities, and related topologies1
Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
Connectedness on fuzzy topological spaces
Semigroups with \(\wedge\)-semidistributive subsemigroup lattices
Intersection types and computational rules
Designing equivalent semantic models for process creation
Separation axioms in fuzzy topology characterized by bitopologies
Predictability and stopping on lattices of sets
Induction and recursion on the partial real line with applications to Real PCF
Prime algebraicity
Lattices of random sets and progressivity
A characterization of full sublattices of finite dimensional Euclidean space
Stability of the Souslin operation
A tribute to Karl H. Hofmann on the occasion of his 75th birthday
On degree spectra of topological spaces
Some categorical aspects of fuzzy topology
A note on stratified \(L\)-real line and unit \(L\)-interval
\(L\)-proximities and totally bounded pointwise \(L\)-uniformities
Sums of \(L\)-fuzzy topological spaces
On the category of fixed basis frame valued topological groups
Intersection types and lambda models
An insertion theorem for continuous \(\mathbb I(L)\)-valued functions and its consequences
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

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)