{"entities":{"Q818709":{"pageid":820557,"ns":120,"title":"Item:Q818709","lastrevid":64571292,"modified":"2026-04-11T20:47:23Z","type":"item","id":"Q818709","labels":{"en":{"language":"en","value":"Representation theorems for directed completions of consistent algebraic \\(L\\)-domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013978"}},"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":"Q818709$E6556592-F914-4BB4-A2C2-9768C42F1E8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74d7141869ec68cc51f4b3ed43a4d962e226a841","datavalue":{"value":{"text":"Representation theorems for directed completions of consistent algebraic \\(L\\)-domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818709$2BB9C6DF-DAD2-405A-930F-1880F8603AEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33fc538a3f71db04153d22d2f72d411c1c060450","datavalue":{"value":"1096.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818709$C5478CD9-37FD-4332-AFAA-4322D2CB99F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c58e11b18f6a2e3b2e5fbb2428fbc24167af0e44","datavalue":{"value":{"entity-type":"item","numeric-id":732010,"id":"Q732010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818709$B5BDEDAA-4F43-4699-BD92-4E1B9AFDB3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9fe92a06efb137ba268d44b69fcc91a245bc71","datavalue":{"value":{"entity-type":"item","numeric-id":221087,"id":"Q221087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818709$83173127-31CD-48CF-BB5D-6D18A19D043B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818709$E1C03CB4-9993-4F2D-96BF-2F026224D4CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"772948f2487b02c578217863cb0a65a1011ee253","datavalue":{"value":{"time":"+2006-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818709$3EEF2296-FD7D-4959-8005-E3125BD52A0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e6af432f9812a2069f4ffc56c9f29ace508cdaba","datavalue":{"value":"The authors consider algebraic domains, in particular algebraic \\(L\\)-domains, with the weakened completeness condition that directed sets that are bounded above have a least upper bound, what they call consistent algebraic domains. They consider the dcpo obtained by taking the specialization order of the sobrification of the Scott topology, what they call the directed completion, and give various characterizations for it, e.g., it agrees with the ideal completion of the poset of compact elements. It is shown that eliminating a set of maximal elements with empty interior from an algebraic \\(L\\)-domain yields a consistent algebraic \\(L\\)-domain whose directed completion returns the original \\(L\\)-domain. They also show that cartesian closedness extends to the category of consistent algebraic \\(L\\)-domains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q818709$4ACBFDFD-FD8B-4BA2-8FBD-31B11114DA9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818709$DD8F9884-3509-4779-B373-2DE320B16ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dfe26fcf5dbf78028c0aa5fbe161ef60c0a1a7ec","datavalue":{"value":"54H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818709$A6FAFCD8-A69B-417C-ADF4-F3022D73D716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818709$B8F1AE59-FCE7-4306-9B7D-2F752589DC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818709$CD456C9A-C723-4CA4-8A9D-A55836511F73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fde63d0ca00502d8a15de1caa567dc05da1cf7de","datavalue":{"value":"5013978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818709$642361F4-2CBF-455B-8A18-B56769DCCA65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a2628edddf8b2f017c5f6914f85b9c5497fb1f2","datavalue":{"value":"algebraic domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q818709$843BD2CA-4511-4815-8B22-E8EBD51A60AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81d87ffe54ba8314e72e6062f2f7c29e6f7f63a0","datavalue":{"value":"directed completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q818709$AA5B8CF7-FE51-48CC-B5F7-1B72F0B4D944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a145f8ce977b08f836e360f0a25a11147ee5c62b","datavalue":{"value":"\\(L\\)-domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q818709$C3D043E9-B4D2-4FB5-8B69-63DABCBF0827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q818709$1530FE08-7AC0-497B-8F0C-819D9971D40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef6f14b4b6220fa683a7c9ab34c90814123e169d","datavalue":{"value":"sobrification","type":"string"},"datatype":"string"},"type":"statement","id":"Q818709$084A283F-7122-4BEB-B672-A8FACE02EBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f53716af722f65ba4471a357c5c93bc582fdad0","datavalue":{"value":"stable open set","type":"string"},"datatype":"string"},"type":"statement","id":"Q818709$587197DD-9EEB-4068-ABF1-D031723698BC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36050b54f2c6fc0c913df56241219ed2ee903672","datavalue":{"value":{"entity-type":"item","numeric-id":418817,"id":"Q418817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818709$39D65B21-CD53-49A2-BC4F-9029DC8DE2C2","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":"Q818709$7D3C5A94-4E89-4D0C-B240-DAA40DD19F6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5770299f02612c78012e4c1ed5bacedbc5f3455","datavalue":{"value":"https://doi.org/10.1007/s00012-005-1953-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q818709$4F5F624D-DDA6-4409-8B74-6E983D44D8B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92c7218577816b6ab1414ab43aaf501ceafe93d8","datavalue":{"value":"W1970325809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818709$2FA420BA-C95E-45B6-8E2A-27BC0891C808","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66b007191aadd3edf2bfad6240be0d4e90c25bef","datavalue":{"value":"10.1007/S00012-005-1953-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818709$AEA44FEF-EF1A-4F79-A58A-972ED488D9A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d00bd30a0198c8a6506451230e6f34c04e0f8ca","datavalue":{"value":{"entity-type":"item","numeric-id":4542461,"id":"Q4542461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973fdd9fed34fb81f16f1bbfbb5c51801322445c","datavalue":{"value":{"amount":"+0.8590491414070129","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":"Q818709$34F6AB93-C855-4266-BB23-8C549213962B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadf4ef92964317e200ec1854ab2cff3b660199c","datavalue":{"value":{"entity-type":"item","numeric-id":4456937,"id":"Q4456937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe99710f4d1f8344fed258855a0c2067c89a798","datavalue":{"value":{"amount":"+0.842937171459198","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":"Q818709$FBF92EF6-7E8A-45E5-AA8B-63F5F2E21A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5607cf69413ed43b4fd6e4f0dcb1c754788ae715","datavalue":{"value":{"entity-type":"item","numeric-id":4688519,"id":"Q4688519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074bbebb7aa56b2578d378d0237972b095779201","datavalue":{"value":{"amount":"+0.8061966896057129","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":"Q818709$9941BFED-88EA-4B52-9DA0-987C50ADB8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc4a60d8e43db24adb73fed13abe59070a1cac47","datavalue":{"value":{"entity-type":"item","numeric-id":5435289,"id":"Q5435289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17edbd9d3e295b46f7edb397a09b15d99ee5a45c","datavalue":{"value":{"amount":"+0.8059905767440796","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":"Q818709$B37084A7-2613-47CF-94E4-E2EFD8806B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738cb3a16bfb14c496fefb82182c9f3ff30ab8e0","datavalue":{"value":{"entity-type":"item","numeric-id":3595995,"id":"Q3595995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84cbbe23959955fcfe0018e89dbc41aed5cb9292","datavalue":{"value":{"amount":"+0.7980926632881165","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":"Q818709$8ECA210F-81DA-4DB4-B303-FD8D8E843197","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representation theorems for directed completions of consistent algebraic \\(L\\)-domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representation_theorems_for_directed_completions_of_consistent_algebraic_%5C(L%5C)-domains"}}}}}