{"entities":{"Q1916446":{"pageid":1927188,"ns":120,"title":"Item:Q1916446","lastrevid":69451023,"modified":"2026-04-13T07:05:17Z","type":"item","id":"Q1916446","labels":{"en":{"language":"en","value":"Solutions to two problems of J. D. Lawson and M. Mislove"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 896589"}},"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":"Q1916446$263D2D5F-57AF-4FB3-A9BE-53C31A222DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13c5ab713f725ceee9f564c6a195ac2b17dcde80","datavalue":{"value":{"text":"Solutions to two problems of J. D. Lawson and M. Mislove","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1916446$53C9E8FB-F63E-4130-87FA-BEC2B5D338A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"873a0dfaad5efa025b7466fa35a282bbad786209","datavalue":{"value":"0853.54005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916446$806D622E-C6C5-42B9-B4EB-5AF7415AAC68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fe30bbb433865e5f29028175b0a76b88ff10bbb","datavalue":{"value":"10.1016/0166-8641(95)00083-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916446$AD462221-35A5-4155-A93F-601276714A67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916446$022D3043-4A76-4E16-AA32-32FF743927D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9169554be7abece605789df489090fdda8d3836d","datavalue":{"value":{"time":"+1997-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1916446$2CF86CEE-803A-4E11-BB91-DD612C9EDEFA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5806246be13f700b34d3dad7ae5814d2d7f6ebb3","datavalue":{"value":"An ordered set in which every directed set has a supremum equipped with the Scott topology is denoted DCPO. If \\(L\\) is a DCPO and \\(x, y\\in L\\), write \\(x\\ll y\\) if for any directed set \\(D\\subseteq L\\) with \\(y\\leq \\bigvee D\\) there exists \\(d\\in D\\) such that \\(x\\leq d\\). A DCPO \\(L\\) is called continuous if for any \\(x\\in L\\) the set \\(\\{y\\in L; y\\ll x\\}\\) is directed and \\(x\\) is its supremum. A DCPO \\(L\\) is called \\(L\\)-domain if for any \\(x\\in L\\) the set \\(\\{y\\in L\\); \\(y\\leq x\\}\\) is a complete lattice; it is bounded complete if every its nonempty subset with an upper bound has a supremum. If \\(L\\) is a DCPO and \\(X\\) a topological space then the set \\([X\\to L]\\) of all continuous mappings from \\(X\\) into \\(L\\) with the pointwise order is a DCPO. A topological space is core-compact if the lattice of its open sets is a complete lattice and a continuous DCPO. The authors prove the following two theorems, which solve two problems posed in [\\textit{J. van Mill} and \\textit{G. M. Reed}, Open problems in topology (1990; Zbl 0718.54001)]:    1. If \\(L\\) is a DCPO then the following statements are equivalent: (a) \\(L\\) is a continuous \\(L\\)-domain; (b) \\([X\\to L]\\) is a continuous \\(L\\)-domain for any core-compact space \\(X\\); (c) \\([X\\to L]\\) is a continuous DCPO for any compact space \\(X\\).    2. If \\(L\\) is a continuous \\(L\\)-domain with least element then the Isbell and Scott topologies on \\([X\\to L]\\) agree for all core-compact spaces \\(X\\) if and only if \\(L\\) is a bounded complete DCPO.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916446$B063E58E-0A9D-4FF3-8B47-21175D4E8232","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e886f6e0421be5a8f743ae1b051b4f18a64974b4","datavalue":{"value":"54A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916446$A3887B53-D7FB-49B0-9C8F-8B5ECBC2A808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916446$8A5ECCDC-6005-4D7F-89B3-D00CF8C1EFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916446$DF5F6B47-4D6A-429A-89D6-D05FACBCEBBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e708fbe41627cae42d69057dd85e26483261cd23","datavalue":{"value":"896589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916446$1AA76A73-534F-477E-9F38-A0F7509E6951","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4e292199a0f33c14878dc95959d05da92bce7b","datavalue":{"value":"Isbell topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916446$E1440305-82F0-425B-B5B2-AB71CE27C63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916446$1AC55B52-D557-41EC-9685-5920C63C9F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77fea491320b07d3afafd59b6162c6748c053a6","datavalue":{"value":"DCPO","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916446$59076CF2-E451-494C-B5E3-CF1BF962FDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a145f8ce977b08f836e360f0a25a11147ee5c62b","datavalue":{"value":"\\(L\\)-domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916446$ADFA5DCE-0256-49E3-9E26-375E2EFC4B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bfaaab9132d17384c2195201776f5148cc09bed","datavalue":{"value":"core-compact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916446$D78850CE-5B4D-4C4C-99C4-A099A714C66D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85b7795951b905abf0a0f4a0310ed2f4e1be0490","datavalue":{"value":{"entity-type":"item","numeric-id":580761,"id":"Q580761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916446$912F4A4F-563D-4389-AFE8-6FE5A4880077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1794969791f6b0cb912ae73417e47571d5263db5","datavalue":{"value":{"entity-type":"item","numeric-id":1270911,"id":"Q1270911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916446$711C122B-BEFA-4CC4-A573-65D86E239B27","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6ce332d57f246921fbd2cc7233fdb8f864d78412","datavalue":{"value":{"entity-type":"item","numeric-id":1568671,"id":"Q1568671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916446$73EF297B-FEF8-4EF8-AC10-9CE5D6DCE7D5","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":"Q1916446$E9293970-F95D-43DB-8358-FA16227A2D78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a3864e94a954c4ff0816895493c2b44e7f82ac7","datavalue":{"value":"https://doi.org/10.1016/0166-8641(95)00083-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1916446$011A265D-B386-4501-90C7-A62F546E9FA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3aac3f68aedbb0b824fc2963c67b990e64dfec6d","datavalue":{"value":"W2013169385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916446$C4B2C007-7223-4CBC-8D1B-FA385C8327F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c691814a76034507730ccd5a48790d1e63adcc8","datavalue":{"value":{"entity-type":"item","numeric-id":3998752,"id":"Q3998752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916446$9A96B945-F129-42E2-B1CC-BD77F97B3715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1273830567b38da5a909fa5ccc0a05a9cfe10bbc","datavalue":{"value":{"entity-type":"item","numeric-id":3812305,"id":"Q3812305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916446$224BFAD8-0FF0-4455-AEB2-DD56A6B97AEC","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":"Q1916446$879C4A56-8C85-4465-9C77-784CD2C1A647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916cd1aa7ffc3dc5d53dddeb2bed963d2887ad03","datavalue":{"value":{"entity-type":"item","numeric-id":3732529,"id":"Q3732529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916446$64814DFA-0863-4249-A2A2-EBA15B2FC395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916446$58728494-281B-48E5-A644-BE6C651BCF7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc48455932a3ea4f2f233f14e2ce3bcbbbe7e8ab","datavalue":{"value":{"entity-type":"item","numeric-id":4884714,"id":"Q4884714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3470dd97302a27f088e7e6b6da7c8c35008e9f","datavalue":{"value":{"amount":"+0.86333996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916446$99ED1B91-5CEF-40F1-B0AD-BFDBD78231BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f4d1af0eae09ece9266b4b500510562d9afad67","datavalue":{"value":{"entity-type":"item","numeric-id":1873730,"id":"Q1873730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7efd5099d504410a13315151b33459f6060738","datavalue":{"value":{"amount":"+0.83773875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916446$B0768BF4-1716-41D6-9845-06EBAC7604CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0a1ef446ced303e7d6730c4582362869fa1cdf","datavalue":{"value":{"entity-type":"item","numeric-id":3054849,"id":"Q3054849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc7c2b118e3a219f807c3b90c7ba95c7cbce54c","datavalue":{"value":{"amount":"+0.79555964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916446$9D725595-D4DF-4A9D-A1D4-EFC81A41B1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea071ca6ea7d7397f93d04cb9fc1f58913e3b227","datavalue":{"value":{"entity-type":"item","numeric-id":5224429,"id":"Q5224429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed2df4a832b5acd6363f3c683dd22e1988edae7","datavalue":{"value":{"amount":"+0.78558743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916446$C9789909-D247-47EB-8C70-A12781BF7C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e76c0a95fa8301391ec6c4605dca33058b4bdf0","datavalue":{"value":{"entity-type":"item","numeric-id":5430238,"id":"Q5430238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf35a45ab845ea0cf593f3690852e3abd84805b","datavalue":{"value":{"amount":"+0.77784604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916446$566A2983-F2E4-401A-9977-3E978C2738D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed817f2e6e716c10cb674749aefdd01fac2d4995","datavalue":{"value":{"entity-type":"item","numeric-id":2435274,"id":"Q2435274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b426d6d6b1053ad61faa74f7ebdfec9365044986","datavalue":{"value":{"amount":"+0.77513325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916446$2C5609E9-1BFB-4771-97FD-4551216B6FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c9275e6c03fa00de8677c417d35db7229c1a3f","datavalue":{"value":{"entity-type":"item","numeric-id":290633,"id":"Q290633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224c441bc8cfd3aecd9ab5d08ee894d177819cb7","datavalue":{"value":{"amount":"+0.7601684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916446$47BDED28-C9CB-4A54-8937-DCEBFBA45AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df84949fd412d476ce33d13d575fd3c2afd37157","datavalue":{"value":{"entity-type":"item","numeric-id":3370405,"id":"Q3370405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a438b7c32a02c0070d8cc34cc95b1d9aeb4303ca","datavalue":{"value":{"amount":"+0.7490003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916446$4D26D8FD-785D-4046-BEBB-EA62A4551F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25fa00ccd32c4c935392d8c615c7a79080837e5","datavalue":{"value":{"entity-type":"item","numeric-id":2630456,"id":"Q2630456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8b1583e7e9cc3a2f38ae1cd58241d36b065f71","datavalue":{"value":{"amount":"+0.74009407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916446$31BE3AEF-8B62-441C-8B48-EE7CCD2DCE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6747e84a1407e46a6d089707f6cda25ab7666b93","datavalue":{"value":{"entity-type":"item","numeric-id":4655806,"id":"Q4655806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90789c243965d514b56438626c69c54e43aeddbb","datavalue":{"value":{"amount":"+0.7395946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916446$CC29B5C7-02A7-4476-86E4-EDC897D0B15F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solutions to two problems of J. D. Lawson and M. Mislove","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solutions_to_two_problems_of_J._D._Lawson_and_M._Mislove"}}}}}