{"entities":{"Q304184":{"pageid":305951,"ns":120,"title":"Item:Q304184","lastrevid":52605581,"modified":"2026-01-23T02:19:11Z","type":"item","id":"Q304184","labels":{"en":{"language":"en","value":"Cartesian closed subcategories of \\(\\mathrm{CONT}_\\ll^\\ast\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6619138"}},"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":"Q304184$71B6CCB2-84B1-4C50-A7B8-F545D8EAB59F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eae7f1c62f0231583911da9b9196ebb4494868b3","datavalue":{"value":{"text":"Cartesian closed subcategories of \\(\\mathrm{CONT}_\\ll^\\ast\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q304184$1FB780CB-4897-49EC-9B09-795A43C54B17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0968a5ad477000e038d060e9e9d12a4970dfd02d","datavalue":{"value":"1401.18023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304184$BA6F1901-7795-4E0E-92FC-4C7B92766FBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd58946f50eb3f69ebe8a91d8600f53eeebdf61","datavalue":{"value":{"entity-type":"item","numeric-id":276407,"id":"Q276407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304184$496E813C-51F8-4B5D-9707-E40FB64894E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfddd60213efcf46742455705f9ab0f22ee9ce4","datavalue":{"value":{"entity-type":"item","numeric-id":271688,"id":"Q271688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304184$D7433A28-71FF-4D6E-8C5C-32B4DF13C837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a540d77232f79c131b70536447a10282c09cc18","datavalue":{"value":{"entity-type":"item","numeric-id":304183,"id":"Q304183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304184$66F2A461-75E6-4421-83B2-E6B4CD3EE31E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304184$395B46D0-0182-44CE-802E-1E20215B24FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfdc4d4cc36ab9323cabe15e9f40864a71d2da75","datavalue":{"value":{"time":"+2016-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q304184$4EFE622A-70EA-4146-8936-87A80A62197E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47877aa97f80d7581bd2f43c894d7a3e325ec062","datavalue":{"value":"In denotational semantics, the question of whether a certain category of models is Cartesian closed (meaning, as explained in the first section of the article, that the category has finite products and all objects are exponentiable) is well-known to be of significant importance. The authors add to the existing repository of results on the matter by considering the categories \\(\\mathrm{CONT}_\\ll^\\ast\\), of continuous domains with Scott continuous mappings preserving the well below relation on domains, and its full subcategory \\(\\omega\\)-\\(\\mathrm{ALG}_\\ll\\) spanned by the countably based algebraic domains. They identify the largest full subcategory of \\(\\omega\\)-\\(\\mathrm{ALG}_\\ll\\) which is Cartesian closed as the category of finite posets and monotone mappings, and it is shown that without the countability restriction a much larger Cartesian closed full subcategory exists, formed by the algebraic \\(L\\)-domains.  The article is well written and quite well motivated, requiring only a modest introduction to terminology and proceeding directly to a study of exponentiability in the relevant categories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q304184$43076E75-D6CE-43DE-A7BA-32189F2D7B4E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7dbe25fb37082c76317d1c3ba00636a8fb492cde","datavalue":{"value":{"entity-type":"item","numeric-id":272874,"id":"Q272874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304184$CE2F267F-3623-48AA-988F-C544685585CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304184$9FC97B14-B6C2-41CA-8091-0E6AF65AC73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304184$68E17E6B-B39F-4C4F-9646-ABD335826F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304184$5492AF0B-9C28-4600-95B9-20B43E01F719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304184$1D09F2EF-640B-48BE-BA4E-EC218CCED230","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b50004ce442aa03f2702af7d0c497f49b66e059","datavalue":{"value":"6619138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304184$48838631-952C-4E32-9FA9-A22C788AB3E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q304184$C6DF1ABA-7E5E-4E86-8DCA-E4456878A1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f11e6dd4fc2178492ed1585787db229487ad68","datavalue":{"value":"algebraic domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q304184$DBE3BA30-267D-4DEB-9C44-AB843A49256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74fc2b7f4ea97615d7ee08f8ab23c25aebd47a72","datavalue":{"value":"way-below relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q304184$D670FA04-2B85-4217-8F01-4BB99C6CB56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6575997fe34f5b3b31e4bef320f03458bbb69c1a","datavalue":{"value":"finite poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q304184$2E0E11F6-062A-4A3A-9C39-443C87D55E06","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":"Q304184$8A543E7A-DA53-40EF-B251-7DA96084443A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfc47d0df63a9a1b6c7cfa624d5855e51a52b460","datavalue":{"value":"https://doi.org/10.1007/s11083-015-9366-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q304184$7D2D0D3D-99C1-41CB-A662-0BC64D2B2052","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ffe7dc50cf4c7c9b9429e77cf10301d50c33624","datavalue":{"value":"W1178282101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304184$E1C0CB1A-FB5B-4E79-A5C4-60DE60678361","rank":"normal"}],"P223":[{"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":"Q304184$240E2412-32D0-47EF-BC67-7B5FB4B14182","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":"Q304184$F53CE1F7-1A2A-4D9F-B545-2C9B62C32232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac5d5c34c1550fa69d8e38f6410edf05c9b8467","datavalue":{"value":{"entity-type":"item","numeric-id":1295216,"id":"Q1295216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304184$465DF5DB-2B4C-4193-A824-E6113F269A19","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":"Q304184$02B2BA92-6791-4055-9CE3-772280678CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c35efdedf31f460ef4d0153d0733fb5fa9f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304184$FC564FEA-F80B-481C-8B37-C5038E9158D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24af84dda55c1c054b3a7df6b54fa0726b204d4d","datavalue":{"value":{"entity-type":"item","numeric-id":2486012,"id":"Q2486012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304184$39A8C977-D759-4892-A7A0-2CD9C04A746E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"546e56ca1e61907a9d77c14ad35383994eefce21","datavalue":{"value":"10.1007/S11083-015-9366-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304184$A53CDC57-ABE0-4AC8-BE81-4C5322317F62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93828864d88be8dd239857e7df55f4cc76452595","datavalue":{"value":{"entity-type":"item","numeric-id":2486012,"id":"Q2486012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e395175619209fa285379892208526f37aa748d6","datavalue":{"value":{"amount":"+0.8927799463272095","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":"Q304184$9782E14A-5173-46F6-98F7-4207F99B0ED0","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":"bf58e6fd532e0704c822e75113745e56e95b9085","datavalue":{"value":{"amount":"+0.8796887993812561","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":"Q304184$5FD0C670-B0EC-4C1F-AFBF-894404133FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70ef43849b69aa59f63a829f73c464f6c3cf71a","datavalue":{"value":{"entity-type":"item","numeric-id":1686201,"id":"Q1686201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c52a4d59f2a567fdc736de8601dbfb89e88c0e2","datavalue":{"value":{"amount":"+0.8634295463562012","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":"Q304184$42B596AC-723E-4133-BE70-706EC8E4BBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6848f268bb214de516b074165c55cba8f0e24a","datavalue":{"value":{"entity-type":"item","numeric-id":584381,"id":"Q584381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141694ad66b8f3cfaaf2d867ff1bada8ca2c1646","datavalue":{"value":{"amount":"+0.8625965118408203","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":"Q304184$586D29EE-303C-4C99-B77A-11D303FEDD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd2172811e43e46d01f55ba21ea8f44c8f3a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3812427,"id":"Q3812427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f360831ad542eea7bdc4fe9334dfdc0596ab77","datavalue":{"value":{"amount":"+0.8414393067359924","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":"Q304184$E150E5B6-CC7D-4949-8C7C-A1C92633D5BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:304184","badges":[]}}}}}