scientific article; zbMATH DE number 3706504
From MaRDI portal
Publication:3898534
Bibliographycomplete Heyting algebrascontinuous lattice theorymeet continuous latticestopological semilattice
Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Semilattices (06A12) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Complemented modular lattices, continuous geometries (06C20) Heyting algebras (lattice-theoretic aspects) (06D20) Topological lattices, etc. (topological aspects) (54H12)
Cited in
(only showing first 100 items - show all)- Function spaces from core compact coherent spaces to continuous B-domains
- On the compact-open and admissible topologies
- Real dicompact textures
- Real dicompactifications of ditopological texture spaces
- Ordinal decompositions for preordered root systems
- Ordered groups with a conucleus
- Conjugate topology of pointwise metric molecular lattices
- Metric topology on the \(L\)-fuzzy real line
- Duality vs. adjunction for fuzzy mathematical morphology and general form of fuzzy erosions and dilations
- Fuzzy complete lattices
- The Dedekind-MacNeille completions for fuzzy posets
- (L,M)-fuzzy matroids
- A topological position of the set of continuous maps in the set of upper semicontinuous maps
- Lattice-valued fuzzy interior operators
- Similarity, topology, and uniformity
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras
- Standard completions for quasiordered sets
- M-distributive lattices
- Algebraic relations and presentations
- The category of Z-continuous posets
- Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
- Semilattices which must contain a copy of 2^ N
- Posets isomorphic to their extensions
- \(T_ 0\)-spaces and pointwise convergence
- Some applications of lattice theory to shape theory
- A continuous lattice L with DID(L) incomplete
- Admissible representations of effective cpo's
- Algebraic theories for continuous semilattices
- Topologies on the subgroup lattice of a compact group
- Supremum self-decomposable random vectors
- Vaught measures and their applications in lattice theory
- Cones, semicontinuous functions, and continuous lattices
- Retracts of the closure space of filters in the lattice of all subsets
- Multiplicative lattices and frames
- A categorical treatment of pre- and post-conditions
- A geometric approach to the Bohr compactification of cones
- Representation theorem of fuzzy lattices and its applications in fuzzy topology
- Representation of merotopic and nearness spaces
- Local property, normality, and uniformity in fuzzy topological spaces
- The N-compactness in L-fuzzy topological spaces
- Kakutani property of the polytopes implies Kakutani property of the whole space
- \(\kappa\)-continuous lattices and comprehension principles for Frege structures
- Narrow and vague convergence of set functions
- Designing equivalent semantic models for process creation
- Initial segments of the degrees of constructibility
- Generalization of Scott's formula for retractions from generalized Alexandroff's cube
- Proving open properties by induction
- Subalgebra systems of idempotent entropic algebras
- Pointwise topology on completely distributive lattices
- Convex powerdomains. II
- Particle lattices and fuzzy particle lattices
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Continuous modular lattices of breadth two
- A couple of triples
- Continuous categories and exponentiable toposes
- Eine Kennzeichnung topologischer Räume durch Vervollstaendigungen
- Essentially complete \(T_ 0-\)spaces. II. A lattice-theoretic approach
- Compact right uppersemicontinuous semigroups of closed sets
- Domain theory in logical form
- Lattice-valued mappings, completely distributive law and induced spaces
- Continuous completions
- Frame-fuzzy points and membership
- A general theory of structure spaces with applications to spaces of prime ideals
- The Dedekind-MacNeille completion as a reflector
- Bigeneration in complete lattices and principal separation in ordered sets
- CABool is monadic over almost all categories
- A characterization of full sublattices of finite dimensional Euclidean space
- A topological representation of lattices
- Some economic applications of Scott domains
- Theory of topological molecular lattices
- Lattice-valued Hahn-Dieudonné-Tong insertion theorem and stratification structure
- Semidistributivity, prime ideals and the subbase lemma
- A memo on the exponential function and regular points
- Ideal completion and Stone representation of ideal-distributive ordered sets
- On non-Hausdorff spaces
- The fuzzy Brouwer fixed-point theorem
- Weak relative pseudo-complements of closure operators
- A domain-theoretic approach to computability on the real line
- Induction and recursion on the partial real line with applications to Real PCF
- A fully abstract semantics for concurrent constraint programming
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
- Lattice valued completely topological generated spaces
- On some gross misunderstandings about the theory of topological molecular lattices
- Accumulation point and C. T. Yang's theorem in \(L\)-fuzzy topological spaces
- Layer compactness in L-fuzzy topological spaces and its applications
- Quantitative semantics, topology, and possibility measures
- The generalized Riemann integral on locally compact spaces
- Properly injective spaces and function spaces
- The way-below relation of function spaces over semantic domains
- Topology, domain theory and theoretical computer science
- Computation on metric spaces via domain theory
- Uniform approximation of topological spaces
- Generalized Zadeh function
- Ditopological texture spaces and intuitionistic sets
- A Daniell-Kolmogorov theorem for supremum preserving upper probabilities
- Completely induced \(L\)-fuzzy topological spaces
- Exponentiable objects in the category of topological molecular lattices
- Extremal problems of approximation theory in fuzzy contact
- Some questions in fuzzy topology
- On the \(L\)-fuzzy Brouwer fixed point theorem
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)