Universal domains and the amalgamation property

DOI10.1017/S0960129500000177zbMath0803.68068MaRDI QIDQ4279243

Rüdiger Göbel, Manfred Droste

Publication date: 16 February 1994

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsuniversal domainsamalgamation propertyhomogeneous domainsconcrete domainsevent domainscategories of bifinite domainscoherent Scott domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Products, amalgamated products, and other kinds of limits and colimits (08B25) Categories of algebras (08C05)

Related Items

\(\mathbb T^\omega\) as a stable universal domain., Mediating secure information flow policies, Combination of constraint solvers for free and quasi-free structures, Fraïssé sequences: category-theoretic approach to universal homogeneous structures, On random relational structures, On limits of betweenness relations, Ultrahomogeneous tensor spaces, A stable universal domain related to ^ω, Quasi-prime algebraic domains, Fraïssé's construction from a topos-theoretic perspective, Universal locally finite maximally homogeneous semigroups and inverse semigroups, Universal homogeneous causal sets, Almost Every Domain is Universal

Cites Work

• The largest Cartesian closed category of domains
• Non-deterministic information systems and their domains
• Universal profinite domains
• Event structures and domains
• \(\mathbb{T}^\omega\) as a universal domain
• The lambda calculus, its syntax and semantics
• Sequential algorithms on concrete data structures
• Universal homogeneous event structures and domains
• Coherence and consistency in domains
• Recursive domain equations for concrete data structure
• UNIVERSAL INFORMATION SYSTEMS
• Models of the lambda calculus
• The Category-Theoretic Solution of Recursive Domain Equations
• Finite Axiomatizations for Universal Domains
• Data Types as Lattices
• A Powerdomain Construction
• Homogeneous Universal Relational Systems.
• Partially Ordered Sets