{"entities":{"Q2644752":{"pageid":2655495,"ns":120,"title":"Item:Q2644752","lastrevid":49478722,"modified":"2026-01-07T05:42:07Z","type":"item","id":"Q2644752","labels":{"en":{"language":"en","value":"The dependent product construction in various categories of domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193980"}},"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":"Q2644752$4B74DD0D-4377-460A-8CDE-9B3DD382D79B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7d9d8617f658f1f5352eff0165d67fcdef6b5ba","datavalue":{"value":{"text":"The dependent product construction in various categories of domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2644752$46C019E0-C40D-4E80-8EB2-B8A235B167ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e531836771822580241fef428491c4d6d6a93c4b","datavalue":{"value":"0724.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644752$87D05C1A-D15C-415E-B1BC-DEF2FE2E67BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86b42fcd1fcc2a6f1a3b78807f0fa8a8e92fa615","datavalue":{"value":"10.1016/0304-3975(91)90338-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644752$6957A055-1338-4000-BD36-9FF5C8CD4E89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf169dfbc83e2cfb9f268c6e1ff4674697c5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":283747,"id":"Q283747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2644752$F0C8AE38-1580-414F-B3AA-D8E47675187F","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":"Q2644752$F8C0C41A-4CEC-46FD-9925-37153D59DB30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q2644752$6710A0D9-745D-46F0-9336-16BBF493687B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"afde4925bc705fcab22a70e1243f38fd7438edb6","datavalue":{"value":"\\textit{T. Coquand}, \\textit{C. Gunter} and \\textit{G. Winskel} have recently shown [Inf. Comput. 81, No.2, 123-167 (1989; Zbl 0683.03007)] that if \\({\\mathcal S}\\) denotes the category of all countably based Scott domains, then given a continuous functor F: \\({\\mathcal S}^ n\\to {\\mathcal S}\\), the continuous sections of the associated Grothendieck fibration are isomorphic to a Scott domain. This note indicates that if one replaces the category \\({\\mathcal S}\\) by either \\({\\mathcal B}\\), the category of (countably based) bifinite domains (a domain is bifinite iff it arises as a bilimit of finite posets in the category of all dcpo's with embedding-projection pairs as arrows) or the category \\({\\mathcal L}\\) of (countably based) algebraic L-domains (an L-domain is one where \\(x\\downarrow\\) is a complete lattice for all elements x), then the sections of the Grothendieck fibration no longer exhibit the closure property satisfied by the category \\({\\mathcal S}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644752$331545D0-2EBF-49B2-9474-5AF49F79D7DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644752$2B69EB68-83DE-4034-B5F6-80510807A26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644752$5D03A35A-31E7-460A-BE73-8E6866644535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644752$3A8869D8-C20A-4417-952F-B4DD4601C816","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cea7fd8b1bfde84bc52a002aaaa123fe3dab18b","datavalue":{"value":"4193980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644752$13CA0235-1D94-4E69-875B-B62FC3BC02E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f84383938e9574ead1f48759728e770fbd3fcc","datavalue":{"value":"countably based Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644752$6AA1EDC8-D2AA-4218-AB9F-572BCB4E7464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d48f1c34864a9dbcf88cdea9a50b4761136c0c5","datavalue":{"value":"continuous functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644752$6D7E613F-A3EF-401E-AEA7-B1A8D93A6092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4035f29fe7f80a1670cd2e555f4bd63bb92c62d","datavalue":{"value":"continuous sections","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644752$121974A1-F954-43D1-ADD6-EFCDB7443D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fecc3d095ab19a55f95d11885cc5f695ba8ecde","datavalue":{"value":"Grothendieck fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644752$EAF86A23-3AA6-4A28-A30E-5151D1B0966D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5493d19988bf766da05510662c74234eedc8ddec","datavalue":{"value":"bifinite domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644752$5C5589D5-74DF-46D5-ADEC-F76696D4F7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d354939d2586551a660fbeb1bda7256d68ae08ce","datavalue":{"value":"algebraic L-domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644752$FF09C35B-317F-4C45-886D-D14D443FA795","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2644752$1D75685A-DE3A-446D-BBB6-AC82A243CA2A","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":"Q2644752$8911F6B0-B57E-43D3-A9DB-793053D488F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eb85d103391974c507accec7fb830c93c8c4e46","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90338-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2644752$24FA6C3F-E19E-49F1-8726-1B79E621A4CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81d22c9bfd6f133c4ad7bc849483a8346c0fb691","datavalue":{"value":"W2062383809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644752$BC081346-4C0E-4D60-AFFE-243A07A4AFFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2644752$F8EC1935-0390-4B49-86ED-B4DECAC8E3A1","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":"Q2644752$CC0918A6-B5FF-43BE-84D0-82E619CA6DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a687a410410024642a96f9db20b85de5897e8f26","datavalue":{"value":{"entity-type":"item","numeric-id":3997287,"id":"Q3997287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2644752$5E0ADDEC-2EAB-436A-BE93-5185E376BFC4","rank":"normal"}],"P1643":[{"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":"f34c5f5d5cddadfec0024acd1b1aaaafe14a9d2a","datavalue":{"value":{"amount":"+0.7724251747131348","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":"Q2644752$55DCACCE-CFB1-4F6F-A581-4A9CA9E93E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e2e66351b64c60d4635000e8d2ba5da5d499c4","datavalue":{"value":{"entity-type":"item","numeric-id":4366766,"id":"Q4366766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e00bc7bd64e736020eede2a5842464d2976d1ff","datavalue":{"value":{"amount":"+0.7587177753448486","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":"Q2644752$237AACA9-A327-44CB-B9B9-DE6BC1BD9EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c65eea2e6b1e7ef28ff6a18485cb29471dff712","datavalue":{"value":{"entity-type":"item","numeric-id":4723932,"id":"Q4723932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9350dde89435e9e3db710dee3b1449bcf67d4e","datavalue":{"value":{"amount":"+0.7577517628669739","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":"Q2644752$E26F9771-F592-4BA8-8E8E-FD8313CBC810","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":"ee12a67eaa88fc5a51961aaf1be20500b2f8dcbc","datavalue":{"value":{"amount":"+0.7556451559066772","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":"Q2644752$73575319-B78B-4D61-923F-2D5103DE18AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f13b4dee1cac9ed7ed4f972b4620f706e953df","datavalue":{"value":{"entity-type":"item","numeric-id":4282566,"id":"Q4282566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a883be9d0ce790d9d0ff99134f8a8bec84f9308","datavalue":{"value":{"amount":"+0.75533527135849","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":"Q2644752$AC4D04E1-7254-4D32-8DD8-B72F997E1D65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2644752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2644752"}}}}}