{"entities":{"Q1183553":{"pageid":1194302,"ns":120,"title":"Item:Q1183553","lastrevid":70204662,"modified":"2026-04-13T13:09:06Z","type":"item","id":"Q1183553","labels":{"en":{"language":"en","value":"Power domain constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33378"}},"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":"Q1183553$793F6104-E893-4F6F-BFC9-3F6C27BFCC48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48dd6ac31b86cb372d40312f74af1e1cbcc1d1ab","datavalue":{"value":{"text":"Power domain constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183553$9CC379BA-0A42-40A1-8DB5-83E37519BAD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70c83cf89ba4c2ff85f1231ba45e10b51e5fe0d2","datavalue":{"value":"0769.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183553$87FC2E21-9C36-4D14-9020-0E9DEB8605F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6da14fde0b4bd3a54f7a871bf7b0136fed820e12","datavalue":{"value":"10.1016/0167-6423(91)90037-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183553$00DA7EF5-D241-473D-A56F-47FAD3383A07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ce13eb1023cd819baaedd4fb82d6dc6c6af226d","datavalue":{"value":{"entity-type":"item","numeric-id":265812,"id":"Q265812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183553$C59B5CE9-3A3F-4209-850D-F22ACF805CEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183553$DC06E3B9-B527-44F2-AFCC-9387E7732DB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183553$1BD0C2EC-3E6B-478F-A7D0-1C527798C11B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3655bc26278bc4c355a69faf1a4853137eade54a","datavalue":{"value":"In this very interesting and well written paper, the five known power domain constructions are unified by an axiomatic framework. A power domain construction assigns to each domain \\({\\mathbf X}\\) (i.e., \\({\\mathbf X}\\) is a directed complete poset) another domain \\({\\mathcal P}{\\mathbf X}\\) which is a commutative monoid, with a binary operation representing a formal union operation and neutral element \\(\\theta\\), representing the empty set, as well as a singleton map \\(\\iota: {\\mathbf X}\\to{\\mathcal P}{\\mathbf X}\\). Lastly, for all domains \\({\\mathbf X}\\), \\({\\mathbf Y}\\) on which \\({\\mathcal P}\\) is defined, there is an extension operation \\((f: {\\mathbf X}\\to{\\mathcal P}{\\mathbf Y})\\mapsto(\\overline f: {\\mathcal P}{\\mathbf X}\\to{\\mathcal P}{\\mathbf Y})\\) such that \\(f=\\overline f\\circ\\iota\\) and some other natural conditions are satisfied. The extension need not be unique, or as the diagram shows, there would be a left adjunction involved. Nevertheless, \\(\\mathcal P\\) determines a functor. Letting \\({\\mathbf X}\\) be the singleton domain \\(\\mathbf{1}=\\{*\\}\\), one gets a ``logic'' on \\({\\mathcal P}\\mathbf{1}\\), which necessarily contains at least two values. The author shows that there is a natural action \\({\\mathcal P}\\mathbf{1}\\times{\\mathcal P}{\\mathbf X}\\to{\\mathcal P}{\\mathbf X}\\) which makes \\({\\mathcal P}{\\mathbf X}\\) into a \\({\\mathcal P}\\mathbf{1}\\) module. When \\({\\mathcal P}\\mathbf{1}\\) acts on itself, the action combined with the formal union, make \\({\\mathcal P}\\mathbf{1}\\) a semiring, called the characteristic semiring of the power construction \\({\\mathcal P}\\). In the case of the lower power construction, this semiring is \\(\\{0,1\\}\\) with \\(0<1\\) and \\(1+1=1\\). The upper power construction has another two element semiring with \\(1<0\\); the Plotkin semiring has a two element subsemiring in which the elements are incomparable.   Power morphisms between power constructions \\({\\mathcal P}\\), \\({\\mathcal Q}\\) are certain natural transformations which are monoid homomorphisms preserving the extension structure. When the characteristic semirings of \\({\\mathcal P}\\) and \\({\\mathcal Q}\\) are the same, a power morphism \\(H: {\\mathcal P}\\to{\\mathcal Q}\\) is linear if \\(H\\) preserves the action. The main result is that for each semiring \\(R={\\mathcal P}\\mathbf{1}\\) there are initial and final objects in the category of power constructions and linear power morphisms. All proofs are given in quite some detail.   (Reviewer's remark: The author's \\(| R|^{|{\\mathbf X}|}\\) can be replaced by either \\(| R\\times{\\mathbf X}|\\) or \\(\\aleph_ 0\\), since the cardinality of the set \\({\\mathbf M}^ \\#\\) on page 116 is at most that of the set of finite sequences of \\(| R\\times{\\mathbf X}|)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183553$F5B655DB-000E-45EE-850D-33E7219BC82D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bab6095f1b641fc3add262714cd80d4bd006795a","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183553$ECE8F5CA-A6E1-4BA4-96A1-10A2E184B053","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183553$14716345-FBC2-4936-8992-D8D8AE4BC36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183553$FF9CBF8A-87C1-4A70-A812-6726DADD43D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183553$CD954303-B406-4F82-B01E-1F73EA8330BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70da2f3dd1cba6bc051e79eb784059dd1847e403","datavalue":{"value":"33378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183553$0AE304A7-8B35-4B5F-A20C-EB42855D37DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bc468fab6dca3b84231bc17b24d2a45d2f8b06","datavalue":{"value":"power domain constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183553$DE46A0C2-2ED3-4B0D-A777-0DCAC60A8508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746ed419fe0ef11671f9b64e35643a91240e5869","datavalue":{"value":"axiomatic framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183553$BDC075CA-ECAF-400C-B541-D9729B18C84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2dd19e98154ed1c6e2f19ba69cb4cd0e22523b","datavalue":{"value":"directed complete poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183553$AA9DC1DC-15DD-4F1C-AB6F-053C106295DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cd4341bbc8d85e554a17c03f3e7f1ca3401833","datavalue":{"value":"left adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183553$6E1234FE-D617-4809-AB42-FAE4BB934A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1840a0fbc746853efabcb2090eae8c62d8e0e1f","datavalue":{"value":"characteristic semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183553$F044185B-BFAF-4B36-8111-8D077241C5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56afa82a707c84cde27d7e35f5037079b6c1baeb","datavalue":{"value":"Plotkin semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183553$D3C4CB2D-3DD8-431B-A9F0-C3480E40FC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7d229f2423a19a1214fa11d231f3c86769af01","datavalue":{"value":"power morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183553$149DFE25-E87A-4B15-A15A-9B0A94D471AC","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":"Q1183553$B54071E0-2C57-4EEA-A6E8-C4688C9F314D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e77de213d4c35dfbc748a5b628705aa360e89962","datavalue":{"value":"https://doi.org/10.1016/0167-6423(91)90037-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183553$750AEA5B-39B4-4A93-91F0-B071B1BD0B3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb741a9e84b15c6440486ca0ae7534b17f196b44","datavalue":{"value":"W1989648858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183553$2071EE2A-2420-4EBA-964A-2929F1813540","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a52e924e20d15f6a70ea23ab71eb3d291dddbb","datavalue":{"value":{"entity-type":"item","numeric-id":3803170,"id":"Q3803170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7293a9ee2252548906bd19aa59c9b77658f46830","datavalue":{"value":{"amount":"+0.8647915124893188","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":"Q1183553$9343EFC5-3F8A-4FEB-B8CD-AA06C6C00DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35582380f1cd2abc947e85fe4eb9cb72b9353816","datavalue":{"value":{"entity-type":"item","numeric-id":581432,"id":"Q581432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14780b87ce3748a36e2f7404269a2de4a5cfa2bf","datavalue":{"value":{"amount":"+0.8226670026779175","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":"Q1183553$0BC50154-D42B-4615-B18A-F5D0261A0C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f65d49c6a71fdde7ef5d934b32e821e8bd65fa","datavalue":{"value":{"entity-type":"item","numeric-id":1349652,"id":"Q1349652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f662d50714fa271065055a044ea99f1d96675784","datavalue":{"value":{"amount":"+0.8143019676208496","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":"Q1183553$3E06F7C9-05CF-47AA-AD45-2135E39DF236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94073a6ff1d758e3b83abdfbf551359aa4e69e71","datavalue":{"value":{"entity-type":"item","numeric-id":471476,"id":"Q471476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dcc2cc15c0fadbeae8230bed6cc246451f3b31e","datavalue":{"value":{"amount":"+0.8138939142227173","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":"Q1183553$C5D92A30-3D6F-45C1-BAA9-7846A80991ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e7a2ccd1060c599bd9713f8bb2bd987a0d10a3","datavalue":{"value":{"entity-type":"item","numeric-id":471444,"id":"Q471444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9563ab3e07cee1ec46972c998d32bd4660505bb6","datavalue":{"value":{"amount":"+0.812457799911499","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":"Q1183553$69B334BA-2E7F-4C79-9613-484F94F2D559","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Power domain constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Power_domain_constructions"}}}}}