Continuous Lattices and Domains

DOI10.1017/CBO9780511542725zbMath1088.06001OpenAlexW1525647423MaRDI QIDQ4787439

Gerhard Gierz, Klaus Keimel, Dana S. Scott, Michael W. Mislove, Jimmie D. Lawson, Karl Heinrich Hofmann

Publication date: 7 January 2003

Full work available at URL: https://doi.org/10.1017/cbo9780511542725

zbMATH Keywords

Lawson topologyordered setScott topologyframeHeyting algebracontinuous latticedomainpartially ordered topological spacecontinuous domaintopological semilatticecontinuous semilatticequasicontinuous domainsemitopological semilatticepospaceScott-continuous functionLawson duality of continuous semilatticesLawson duality of domainspectral theory of continuous lattices

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Categorical methods in general topology (54B30) Topological lattices, etc. (topological aspects) (54H12) Frames, locales (06D22) Continuous lattices and posets, applications (06B35) Topological lattices (06B30) Ordered topological structures (06F30) Topological semilattices, lattices and applications (22A26) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items (only showing first 100 items - show all)

Layout randomization and nondeterminism ⋮ Quasicontinuous domains and the Smyth powerdomain ⋮ A stream calculus of bottomed sequences for real number computation ⋮ On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ On semicontinuous lattices and their distributive reflections ⋮ A note on the symmetry of all Nash equilibria in games with increasing best replies ⋮ The \(\sigma_1\)-topology and \(\lambda_1\)-topology on \(s_1\)-quasicontinuous posets. ⋮ Representations of algebraic domains and algebraic L-domains by information systems ⋮ Reductions and saturation reductions of (abstract) knowledge bases ⋮ Completely precontinuous posets. ⋮ Meet precontinuous posets. ⋮ \(\mathbb T^\omega\) as a stable universal domain. ⋮ Observationally-induced algebras in domain theory ⋮ A domain-theoretic model of nominally-typed object-oriented programming ⋮ On a condition for semirings to induce compact information algebras. ⋮ A note on finitely derived information systems ⋮ Characterising E-projectives via co-monads ⋮ Formal contexts for algebraic domains ⋮ Fundamental duality of abstract categories and its applications ⋮ Lattice-valued bornological systems ⋮ Lattice-valued preordered sets as lattice-valued topological systems ⋮ Function spaces from coherent continuous domains to RB-domains ⋮ QRB, QFS, and the probabilistic powerdomain ⋮ Birkhoff's order-convergence in partially ordered sets. ⋮ Essential and density topologies of continuous domains ⋮ Atomicity, coherence of information, and point-free structures ⋮ Priestley-type dualities for partially ordered structures ⋮ On convergence in \(L\)-valued fuzzy topological spaces ⋮ A result for \(O_{2}\)-convergence to be topological in posets ⋮ Choice-free dualities for domains ⋮ Structural congruence for bialgebraic semantics ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Lattice-valued topological systems as a framework for lattice-valued formal concept analysis ⋮ Almost orthogonality and Hausdorff interval topologies of De Morgan lattices and lattice effect algebras ⋮ Pseudo equality algebras ⋮ Some new intrinsic topologies on complete lattices and the Cartesian closedness of the category of strongly continuous lattices ⋮ The dual of a generalized completely distributive lattice is a hypercontinuous lattice ⋮ Adjunctions on the lattices of partitions and of partial partitions ⋮ Some continuity notions for interval functions and representation ⋮ Cartesian closed categories of \(F\mathcal Z\)-domains ⋮ When the finest splitting topology is a group topology or Fréchet ⋮ A domain-theoretic approach to fuzzy metric spaces ⋮ Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation ⋮ Sublattices of associahedra and permutohedra ⋮ Approaching metric domains ⋮ \((\mathcal Z_1,\mathcal Z_2)\)-complete partially ordered sets and their representations by \(\mathcal Q\)-spaces. ⋮ Insertion and extension theorems for lattice-valued functions on preordered topological spaces ⋮ Hausdorff continuous interval-valued functions and quasicontinuous functions ⋮ Towards the theory of \(\mathbb M\)-approximate systems: Fundamentals and examples ⋮ Hypergraph functor and attachment ⋮ Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras ⋮ Inverse-limit and topological aspects of abstract interpretation ⋮ Extending algebraic operations to D-completions ⋮ A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety ⋮ Lowen LM-fuzzy topological spaces ⋮ Categorical foundations of variety-based topology and topological systems ⋮ The nullities for \(M\)-fuzzifying matroids ⋮ The categories of flows of Set and Top ⋮ On adjunctions between Lim, SL-Top, and SL-Lim ⋮ Kernel systems on \(L\)-ordered sets ⋮ Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces ⋮ Topological properties of generalized approximation spaces ⋮ Interval additive generators of interval t-norms and interval t-conorms ⋮ Function spaces from Lawson compact continuous domains to continuous B-domains ⋮ Quasi-pseudo-metrization of topological preordered spaces ⋮ Domain theory and mirror properties in inverse semigroups ⋮ States in Łukasiewicz logic correspond to probabilities of rational polyhedra ⋮ Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras ⋮ A class of fuzzy multisets with a fixed number of memberships ⋮ Consistent Hoare powerdomains. ⋮ Consistent Plotkin powerdomains. ⋮ Two Cartesian closed categories of information algebras ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ On topologies defined by irreducible sets ⋮ Heyting mereology as a framework for spatial reasoning ⋮ A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations ⋮ Observationally-induced lower and upper powerspace constructions ⋮ On approximate-type systems generated by \( L\)-relations ⋮ On the largest Cartesian closed category of stable domains ⋮ A new view of relationship between atomic posets and complete (algebraic) lattices ⋮ On state residuated lattices ⋮ Maximal classes of spaces and domains determined by topologies on function spaces of domains ⋮ Elements for a formal model of intentional systems ⋮ On the uniformization of lattice-valued frames ⋮ On the prevariety of perfect lattices ⋮ Complexity spaces as quantitative domains of computation ⋮ Algebraic models for \(T_1\)-spaces ⋮ Approximation in quantale-enriched categories ⋮ Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language ⋮ Canonical extensions and canonicity via dcpo presentations ⋮ Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets ⋮ Fuzzy algebras as a framework for fuzzy topology ⋮ Generalized fuzzy topology versus non-commutative topology ⋮ A decomposition theorem for maxitive measures ⋮ A bitopological point-free approach to compactifications ⋮ The prime dicompletion of a di-uniformity on a plain texture ⋮ A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras ⋮ Re-visiting axioms of information systems ⋮ Partially ordered metric spaces produced by \(T_{0}\)-quasi-metrics ⋮ Topologies generated by nested collections

This page was built for publication: Continuous Lattices and Domains