{"entities":{"Q1175945":{"pageid":1186694,"ns":120,"title":"Item:Q1175945","lastrevid":47045515,"modified":"2025-12-31T12:10:36Z","type":"item","id":"Q1175945","labels":{"en":{"language":"en","value":"Universal homogeneous event structures and domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 14891"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$54018E3C-E263-4962-BB38-2965114EB57E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8d193645ff7150ab0c8b3d7683fd82df7fced00","datavalue":{"value":{"text":"Universal homogeneous event structures and domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175945$33925E77-0625-4801-B90D-38E3BD748B6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9fd18c92e84401b90580e9b643da6b3c834e758","datavalue":{"value":"0759.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175945$094D867F-B894-47F6-B45A-0E60A463077C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16a34a60f820be7061f1d11cff68dec59db652af","datavalue":{"value":"10.1016/0890-5401(91)90032-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175945$5B2F4681-38A7-49D2-8B4F-953874DF6FC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$71C7B9B7-F2A0-4AA9-A796-0F3A62D0B1AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$20BE7FCA-F5F2-4A7C-9092-D9F39458F20D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1175945$7712B7EA-530E-44C2-AF36-1B786CCEA6E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aae8904ef7a4cbd07e9e85cc55e873af055c8017","datavalue":{"value":"Different constructions of particular kinds of ``universal'' domains for the denotational semantics of programming languages (or, more generally, models for variants of the \\(\\lambda\\)-calculus) where given in the literature (e.g. unique domains for the classes of all coherent or all \\(\\omega\\)-algebraic cpo's).   It is shown that there exists a unique (up to isomorphism) countable univesal homogeneous event structure [in the sense of \\textit{G. Winskel}, Lect. Notes Comput. Sci. 255, 325-392 (1987; Zbl 0626.68022)]. Hence the category of event domains contains an universal object. Much more, this category is closed under inverse limits. A universal distributive event domain [in the sense of \\textit{G. Berry}, Program transformations, Proc. 3rd. int. Symp. Program., Paris, 67-80 (1978; Zbl 0416.03017)] is also obtained. Similar results are derived for \\textit{G.Kahn} and \\textit{G.Plotkin's} category of concrete domains. In all the above categories, stable embedding-projection pairs are the morphisms. In the present argument, firstly a model-theoretic result on the construction of countable homogeneous relational structures [\\textit{R. Fraisse}, Theory of relations, North-Holland, Amsterdam (1986; Zbl 0593.04001)] is used; secondly, for the inverse limit result, an order-theoretical characterization of event domains, obtained by the author in an earlier paper is proved to be essential. Generally, the proofs are only sketched, with references to other papers of the same author.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175945$1BB56213-7EED-4304-819A-938008E59876","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175945$29F6E0D5-6F07-4315-820F-FBCB09183D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175945$38D401C9-8FBF-4D32-A664-79A564F55E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175945$AC3358C4-E156-48FC-838C-FE441BCE1218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175945$6E7073D1-77C2-4BB8-8153-731F5FB69EBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8c51b087d7c05b2b1fa2484f742bb6746f115c4","datavalue":{"value":"14891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175945$3DEB40E9-A63C-4215-B93F-5E2FCF07C56A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"673aeda341f19080a380d05aa18b53ce781fb6de","datavalue":{"value":"event structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175945$C0AACC86-76D7-4E0B-B49C-480440C029B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e36b7cd25f711849c2c872f4f3db9b8e9fe4d3","datavalue":{"value":"theory of domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175945$56667EAE-27D4-402B-80AE-6681D1BF5EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175945$F6885975-5B31-4E4D-BCAA-9B239982D087","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$E975B116-A351-481C-AB69-0BF95491467A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$AA756777-EA78-4571-8764-1A2EBA0543A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$68F157CE-BCC8-44F0-B269-8A105760CB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da258b65e2346205134973cc333997cb45b7692","datavalue":{"value":{"entity-type":"item","numeric-id":5570212,"id":"Q5570212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$562ADB38-E3EC-4B41-AC0F-081DAF5DC933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$4C8129C9-5FDC-494D-8CE5-736D053E3A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91e65f1361da728c4984b4e5cc0f45065012e4","datavalue":{"value":{"entity-type":"item","numeric-id":1170880,"id":"Q1170880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$E3F9F037-CB27-4012-B602-407939525A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a94e4eab3df9d2b40617a3e92c04c70b0cf9ab","datavalue":{"value":{"entity-type":"item","numeric-id":1823305,"id":"Q1823305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$161E38D5-25B1-4C5D-A4BF-220399DC1655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f1fc2c53f8489c262229a49273407a2a8e9cca","datavalue":{"value":{"entity-type":"item","numeric-id":3787462,"id":"Q3787462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$2D7A8A97-88DE-401D-9C9D-0578C0722E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$5AB5AF9B-E2DA-42EE-9F8E-A5110A910087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d893ecc1adab602e394adebcd778d1008c09d95","datavalue":{"value":{"entity-type":"item","numeric-id":1124367,"id":"Q1124367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$CCF5DAB4-9431-40C3-950B-40DEA0ED18E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c344f2da46c9ff1a9a196e2a0005664ab0592de","datavalue":{"value":{"entity-type":"item","numeric-id":1823005,"id":"Q1823005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$DC432CFB-B54E-4161-97F8-75EAAC1A57A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68143ba4bba7a3123919a47c4b233e46da05c53a","datavalue":{"value":{"entity-type":"item","numeric-id":914401,"id":"Q914401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$53E8D48F-6105-4AD7-904E-5AF633D83347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c5dc066b1e3f35bc9fbf67938d985b17f686f3","datavalue":{"value":{"entity-type":"item","numeric-id":5829878,"id":"Q5829878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$F50DCEE4-ADC0-4C3F-859F-7CEFBEC5BC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"225116f3b98655e4cbb084142670e8088acd17fd","datavalue":{"value":{"entity-type":"item","numeric-id":1076017,"id":"Q1076017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$9E144D0C-02EA-43AE-BD35-43FDE5DA201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41321dcd06c500928d412495d504ca366f01cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1093371,"id":"Q1093371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$555A285B-3C74-4B9E-B6A5-B5C566997F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12baf6c19dd2a0e349700dd813c53e78613d91a","datavalue":{"value":{"entity-type":"item","numeric-id":1262787,"id":"Q1262787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$E18689EA-85A6-4C0B-A770-4AE0BCEBD3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f3fd26345ebcb47fdc2decbe06144bf40762a9","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$07886014-29E4-4835-98B7-9B34FA4B4203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c66a621bd06d8865184f79a85a477612cff8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1096619,"id":"Q1096619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$D9C6889D-50D4-4C49-8069-827940D30571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$52F89992-856C-4F26-BA49-53C2E0B98575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$17E61FD7-6152-4F50-8FE8-AE9A502F5CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2973a40cdc7ada8d04704b32ff80bbdfecef18","datavalue":{"value":{"entity-type":"item","numeric-id":3960746,"id":"Q3960746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$A829E288-0E4E-4858-933E-C719C74B365A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$C43FA45B-A6F1-4D31-8838-53AB44F5F612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175945$C9E02BBA-759D-4A97-8D87-0C73F494AEE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d95932631e69d713704147513a1280520d0f33e","datavalue":{"value":{"entity-type":"item","numeric-id":4279243,"id":"Q4279243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7ddb7c5c5c0d7fd0034fe802c529c6b7caf0c0","datavalue":{"value":{"amount":"+0.8411972522735596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1175945$449D61A6-B22B-4E06-BAA5-6316648C11DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0c554e9845d3a82bc7f60544098ae5e8865da6","datavalue":{"value":{"entity-type":"item","numeric-id":4013251,"id":"Q4013251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20530be87392a2d5de9e111fc62e801524ba99fb","datavalue":{"value":{"amount":"+0.8379755616188049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1175945$D57516EE-5B55-4A42-929E-B82F8E73F1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78abf8ecef9f3bc85ec2d7f8be39d81b4779d44","datavalue":{"value":{"entity-type":"item","numeric-id":5687245,"id":"Q5687245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667d226621eeea132bfdfe48832118164cc6594d","datavalue":{"value":{"amount":"+0.8332690000534058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1175945$C27B12DC-0470-4B2D-92A4-35AA18FAB51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee4566b9357048ad72d77199d46ffb08c7bdddf","datavalue":{"value":{"entity-type":"item","numeric-id":1124367,"id":"Q1124367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa49bc17a856029ed30f2335aa89fcf56e7625b9","datavalue":{"value":{"amount":"+0.8231052160263062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1175945$72CD70BD-4F4A-42F7-8C8D-A2A61F7474E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a97734e7cd9330424a23ef70253b50bc2e2e39","datavalue":{"value":{"entity-type":"item","numeric-id":4331081,"id":"Q4331081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4a2f2076a7517707885b8e6c0c8dbe4f65788f","datavalue":{"value":{"amount":"+0.801185667514801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1175945$77B89BA5-CBA7-45EE-A3F8-BE2C8162BF5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1175945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1175945"}}}}}