{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T23:38:01Z","timestamp":1767915481396,"version":"3.49.0"},"reference-count":39,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5755,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1993,6]]},"abstract":"<jats:p>In the theory of denotational semantics of programming languages, several authors have constructed various kinds of universal domains. We present here a categorical generalization of a well-known result in model theory, which we use to characterize large classes of reasonable categories that contain universal homogeneous objects. The existence of such objects is characterized by the condition that the finite objects in the category satisfy the amalgamation property. We derive from this the existence and uniqueness of universal homogeneous domains for several categories of bifinite domains, with embedding-projection-pairs as morphisms. We also obtain universal homogeneous objects for various categories of stable bifinite domains. In contrast, several categories of event domains and concrete domains and the category of all coherent Scott-domains do not contain universal homogeneous objects. Finally, we show that all our constructions can be performed effectively.<\/jats:p>","DOI":"10.1017\/s0960129500000177","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:01:47Z","timestamp":1236157307000},"page":"137-159","source":"Crossref","is-referenced-by-count":20,"title":["Universal domains and the amalgamation property"],"prefix":"10.1017","volume":"3","author":[{"given":"Manfred","family":"Droste","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00fcdiger","family":"G\u00fcbel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000177_ref036","doi-asserted-by":"publisher","DOI":"10.1137\/0211062"},{"key":"S0960129500000177_ref011","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90065-5"},{"key":"S0960129500000177_ref035","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90095-6"},{"key":"S0960129500000177_ref023","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90048-4"},{"key":"S0960129500000177_ref020","first-page":"540","article-title":"Sur certains relations qui g\u00e9n\u00e9ralisent l'ordre des nombres rationnels","volume":"237","author":"Fraiss\u00e9","year":"1953","journal-title":"C.R. Acad. Sci. Paris"},{"key":"S0960129500000177_ref034","first-page":"677","volume-title":"Ordered Sets","author":"Scott","year":"1981"},{"key":"S0960129500000177_ref022","unstructured":"Gunter C. A. (1985) Profinite solutions for recursive domain equations, PhD-Thesis, University of Wisconsin, Madison, USA."},{"key":"S0960129500000177_ref033","doi-asserted-by":"publisher","DOI":"10.1137\/0205037"},{"key":"S0960129500000177_ref029","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(82)90796-3"},{"key":"S0960129500000177_ref018","doi-asserted-by":"publisher","DOI":"10.1142\/S012905419000028X"},{"key":"S0960129500000177_ref002","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"Barendregt","year":"1981"},{"key":"S0960129500000177_ref001","first-page":"149","article-title":"Subcategories defined by implications","volume":"2","author":"Banaschewski","year":"1976","journal-title":"Houston J. Math."},{"key":"S0960129500000177_ref026","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-10601"},{"key":"S0960129500000177_ref009","volume-title":"Research Notes in Theoretical Computer Science","author":"Curien","year":"1986"},{"key":"S0960129500000177_ref038","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17906-2_31"},{"key":"S0960129500000177_ref007","article-title":"Oligomorphic Permutation Groups","volume":"152","author":"Cameron","year":"1990","journal-title":"London Math. Soc. Lecture Note Series"},{"key":"S0960129500000177_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90097-2"},{"key":"S0960129500000177_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08860-1_7"},{"key":"S0960129500000177_ref031","doi-asserted-by":"publisher","DOI":"10.1137\/0205035"},{"key":"S0960129500000177_ref030","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1937-1501929-X"},{"key":"S0960129500000177_ref025","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0040267"},{"key":"S0960129500000177_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52753-2_36"},{"key":"S0960129500000177_ref013","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.2.119"},{"key":"S0960129500000177_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(82)80002-9"},{"key":"S0960129500000177_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90117-5"},{"key":"S0960129500000177_ref032","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90006-5"},{"key":"S0960129500000177_ref037","unstructured":"Winskel G. (1981) Events in Computation, PhD-Thesis, Edinburgh."},{"key":"S0960129500000177_ref027","unstructured":"Jung A. (1988) Cartesian closed categories of domains, Dissertation, TH Darmstadt, W. Germany."},{"key":"S0960129500000177_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-19020-1_18"},{"key":"S0960129500000177_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90032-W"},{"key":"S0960129500000177_ref019","unstructured":"Droste M. and Gobel R. (to appear) A categorical theorem on universal objects and its applications in abelian group theory and computer science. In: Contemporary Math. AMS, Proceed, of the Mai'cev-Conference in Novosibirsk 1989."},{"key":"S0960129500000177_ref021","volume-title":"Theory of Relations","author":"Fraiss\u00e9","year":"1986"},{"key":"S0960129500000177_ref014","unstructured":"Droste M. (to appear) On stable domains. Theoret. Comp. Science."},{"key":"S0960129500000177_ref024","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(90)90055-M"},{"key":"S0960129500000177_ref006","volume-title":"Models and Ultraproducts: An Introduction","author":"Bell","year":"1969"},{"key":"S0960129500000177_ref017","first-page":"19","volume-title":"5th IEEE Symposium on \u2018Logic in Computer Science\u2019, Philadelphia, 1990","author":"Droste","year":"1990"},{"key":"S0960129500000177_ref039","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035798"},{"key":"S0960129500000177_ref028","article-title":"Domaines concretes","volume":"336","author":"Kahn","year":"1978","journal-title":"Rapport de Recherche"},{"key":"S0960129500000177_ref005","article-title":"Lattice Theory","volume":"25","author":"Birkhoff","year":"1973","journal-title":"Amer. Math. Soc. Colloq. Publ"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T22:50:26Z","timestamp":1557960626000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000177\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["S0960129500000177"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000177","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}