{"entities":{"Q761042":{"pageid":762891,"ns":120,"title":"Item:Q761042","lastrevid":64170945,"modified":"2026-04-11T18:07:02Z","type":"item","id":"Q761042","labels":{"en":{"language":"en","value":"The largest Cartesian closed category of domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3887075"}},"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":"Q761042$6ADBE0CD-2607-4160-9F72-8FF7C272988B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a908c3eed1f718200528ab59d7455bbdb4b6706e","datavalue":{"value":{"text":"The largest Cartesian closed category of domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q761042$6318A1C2-DAA5-46E1-A3A9-A4A7FC7C8B6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de1fb1a5c28cdfac2c88b9a1d65f71d58a79d3d9","datavalue":{"value":"0556.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761042$D6917FBF-6829-42BE-A464-19680D5E838C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a463fc483890d1c7f0dbd20012bf75982d8ae7f","datavalue":{"value":"10.1016/0304-3975(83)90095-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761042$F71CB488-39BF-4388-84D7-0844D511D6DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e0edf098464820c73fe973287e8e70625fcc2a","datavalue":{"value":{"entity-type":"item","numeric-id":761040,"id":"Q761040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761042$3DEA1B08-0B5E-43AE-BBE4-1682DFEC2882","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761042$9AF2279B-B035-4811-81B3-7B972C30E77E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q761042$A63B46EF-DED9-4033-96CA-F6500CD5903F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d9dad3dffff78214aebbc1040354c57bb267490e","datavalue":{"value":"Most of the studies in semantics of programming languages use 'domains', i.e. \\(\\omega\\)-algebraic cpo's; the corresponding category \\(\\omega\\) ACPO should be closed under function-space formation, reasonably. This is not true however. One does obtain Cartesian closure (the technical name of what we want) by considering the category \\(\\omega\\) ACPO-CC of consistently complete domains, but now the powerdomain construction takes us outside the category.    Plotkin has conjectured that the category SFP which is an extension of consistently complete domains while still a subcategory of that of domains (and which is closed under powerdomain and function-space formation) is the largest category of domains closed under the constructions aforementioned. The paper under review proves this, making extensive use of the set of finite elements of a domain and of the set of minimal bounds of a poset. Finally some extensions are considered in case the notion of 'domain' is modified either to effectively given domains or to continuous domains: the author conjectures some of the results to be still true.","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$36B75A26-4545-4067-A5F7-AB25924A1A4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761042$DEBA892E-3247-4F2D-B3E4-37624E5B5D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761042$C95997A8-5A7A-485F-B5DE-FA540FFC6D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761042$5048731F-6ED3-413F-948B-6D47741C2C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761042$8142CF32-4E7D-4D69-9622-721C1956AADC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58dd496b984992b3d50faa9e21c2492d9fdeaccf","datavalue":{"value":"3887075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761042$F98C9290-45B3-49E8-8309-F85D76CEE697","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58814b25005545b471fe2bbc3f0cbefe03db5353","datavalue":{"value":"omega-algebraic cpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$E0DB896F-AB02-42CD-9E84-89C5C0781DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c6495921024283fe2d90d26f1d49fe71a8ac7ca","datavalue":{"value":"complete partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$CC0A3C8C-5FE4-43AC-91C6-D8439606D6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$95D585BA-7692-4BE2-B869-9D902D87C628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d2f9b4fab91a28cc51d4c5ab48bbafff9f5bb9","datavalue":{"value":"function-space formation","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$0B09D190-B15F-498A-BF52-C095161A6AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156fd7cbaa59bf24c844d8689bd0d065a387b70b","datavalue":{"value":"Cartesian closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$7F200785-3390-4904-9D77-6F0129F753AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b0da59069fa20adc2c83961854e1a19f08e9c5","datavalue":{"value":"consistently complete domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$D29BD37E-7601-42D8-AAA5-77D09A88B09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80be77a43f042a2524ccf8391fc9477b11388cc9","datavalue":{"value":"powerdomain","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$15BEFE57-31E3-42CE-9047-25B1BB9A72DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71efe4c9ee78eb79e16e3cac15bc6c03e5c6bedd","datavalue":{"value":"finite elements of a domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$6D12BC30-FC1B-4982-9463-BAEFC8AE9440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2dbb196126049d1d3c94b1a9620cf34d49e409e","datavalue":{"value":"minimal bounds of a poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$3D81BE05-1560-4B3C-88CF-C77247827EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6035a16537763dd93460588799563c5c32081ec0","datavalue":{"value":"effectively given domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$D286458A-ACA6-41CA-976B-E51B7AD28755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8873778a5b1adbf01fb9682e26ae36dc994d14da","datavalue":{"value":"continuous domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q761042$20995D58-C02A-4D0D-8E67-936DD714D54A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc7a4844df6c1e7fd45e2597303e18bd88cee256","datavalue":{"value":{"entity-type":"item","numeric-id":598278,"id":"Q598278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761042$932BCE1A-6BB0-4BC7-BCFB-F6EC4FDBAEF9","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":"Q761042$BAF60A5D-9ED1-4C85-80EC-5ED00EF4E190","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"868e2272d11772990bba5b57c93e2c56118f3d21","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90095-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q761042$3E35F2B6-0C4F-4141-849E-904FA5A79F79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f98662e6b0e5fe492bd884b16261cf6ddba97563","datavalue":{"value":"W2043058711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761042$2274247D-9C1B-4C34-A03B-AEBF831547CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761042$C35CC26B-1FE3-4128-A2B4-37B867E0A2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57effbfd2744c53d93259cc072d488fce595bcc0","datavalue":{"value":{"entity-type":"item","numeric-id":3926630,"id":"Q3926630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761042$9BA585B5-830D-4269-92FA-F3B7A581785F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72633b52472d0f8390ccae00659e14b279a7da7a","datavalue":{"value":{"entity-type":"item","numeric-id":4094899,"id":"Q4094899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761042$14E4B8CE-F879-4537-A9D0-ACC7EE0DFD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761042$DBA37D3A-7773-4AAB-94F8-77859BE8C6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761042$E0AE7A45-68A5-48AF-A4B0-0C4557D4AF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761042$1934475D-FFC1-4B8E-847E-E991CBB96A79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1602b74175955a594c73737acc96453ff3b606fe","datavalue":{"value":{"entity-type":"item","numeric-id":4675770,"id":"Q4675770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625dd8a394aa4d612323581c96902a343eaf9c94","datavalue":{"value":{"amount":"+0.883450448513031","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":"Q761042$78AA3594-F133-4EC6-B45C-7CD07A620F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37311c4da765eccfec59e005864eee83c51ea5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4327832,"id":"Q4327832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b38696eae40693cf8d890005a9dde8a161ab10","datavalue":{"value":{"amount":"+0.8519471287727356","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":"Q761042$FB49D157-263C-43B8-B6A8-ACE00A372F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f84f65bf3055dd5ae9b87b1343975fa22cc7bd7","datavalue":{"value":{"entity-type":"item","numeric-id":276408,"id":"Q276408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6fff5f37b7e5aefcdd407aaf1ddd9454e22ee5","datavalue":{"value":{"amount":"+0.8505200743675232","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":"Q761042$CA5ACCCB-2D33-438E-B104-36773363FD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd74f553de50692109e12380878ad78551edf53","datavalue":{"value":{"entity-type":"item","numeric-id":3797244,"id":"Q3797244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea67937b99d45d300b7e83acbf7170d9e9f39dc9","datavalue":{"value":{"amount":"+0.8495017886161804","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":"Q761042$B02972A5-FB34-46DD-837A-2F18C124EBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3848405cdcb5925b8a0606f9ee86804f75e3861","datavalue":{"value":{"entity-type":"item","numeric-id":4778399,"id":"Q4778399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1093994722deb83d95359c543dbc95aad2a0107a","datavalue":{"value":{"amount":"+0.8449891209602356","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":"Q761042$39FE8578-C764-4DF3-B242-5BFB30118305","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The largest Cartesian closed category of domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_largest_Cartesian_closed_category_of_domains"}}}}}