{"entities":{"Q2435274":{"pageid":2446017,"ns":120,"title":"Item:Q2435274","lastrevid":51919694,"modified":"2026-01-20T13:16:30Z","type":"item","id":"Q2435274","labels":{"en":{"language":"en","value":"Coincidence of the Isbell and Scott topologies on domain function spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6254602"}},"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":"Q2435274$420C1204-E4DC-498D-9216-E10E0B900C39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b51da8955297e0dc1f5dd4a9eb5eb54a719f4d2","datavalue":{"value":{"text":"Coincidence of the Isbell and Scott topologies on domain function spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2435274$72C01BAF-075A-4B8F-8723-0973BFD3B502","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d17733a55ef9be69be9376fff699512498434367","datavalue":{"value":"1297.54039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435274$1E5ED34E-42C4-461A-A3B2-3ECF0F856017","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":"Q2435274$23147878-161E-4613-A4C3-46CDFDAF9353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af3681c3e912270cd2e91da9ab6b14bb1cabb060","datavalue":{"value":{"entity-type":"item","numeric-id":1930045,"id":"Q1930045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435274$61BDF39E-B64C-4B48-BDFF-E61C38ED77B9","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":"Q2435274$1AD508F1-B870-4422-B0AE-E7047ECCBE39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"573aae04e7f36d2701ee1fde6b6eae8b7ceab41a","datavalue":{"value":{"time":"+2014-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2435274$5310C972-18CE-49AB-BFE5-433C00C588FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4bc5446a4717627b0f3fb18f58edd12c9a057b3","datavalue":{"value":"Let \\(X\\) be a topological space, \\(L\\) a dcpo with the Scott topology and \\([X\\rightarrow L]\\) the set of all continuous mappings from \\(X\\) to \\(L\\). The Isbell topology on \\([X\\rightarrow L]\\) has as subbase the sets \\(\\{f\\in [X\\rightarrow L]:f^{-1}(V)\\in H\\}\\), where \\(H\\) is a Scott open set in the open-set lattice \\(\\Omega (X)\\) and \\(V\\) is a Scott open set in \\(L\\). The authors give necessary and sufficient conditions for the coincidence of the Isbell and Scott topologies on \\([X\\rightarrow L]\\) when \\(L\\) is a bicomplete domain and \\(X\\) in the class of core compact spaces. They also show that these topologies coincide in the following cases: (1) \\(X\\) is a core compact space with a countable base and \\(L\\) is a dcpo consisting of a least element and a decreasing sequence with two lower bounds. (2) \\(X\\) is a well-rooted Lawson compact domain and \\(L\\) is an FL-domain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435274$688797B0-8BB7-40B9-B618-E8CCEC481D4E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7020d258510ed884a384a212cb677071c64f5972","datavalue":{"value":{"entity-type":"item","numeric-id":589966,"id":"Q589966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435274$CCE0B1D4-F10D-4225-A920-B819D71EC6E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"50e54321cc80124293b2516610b1f4290bd18505","datavalue":{"value":"54C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435274$D2581F29-005F-4449-93A9-7947483FC594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e886f6e0421be5a8f743ae1b051b4f18a64974b4","datavalue":{"value":"54A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435274$7C979FA4-7F11-4D7D-A849-139B317CC807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435274$18AFC281-A931-4863-AF83-DB2162DAABA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435274$06DC0C4C-E335-49EB-929E-60B49BB4DA6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d53649e959e2eef2ac6ea9628853e969da58ebd","datavalue":{"value":"6254602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435274$510DBF5A-38FE-4C39-BA3F-3C6A17E76292","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9448ccb2eff5484bc2ca7fcf076f499f6e9ae052","datavalue":{"value":"function space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435274$04049E86-5C9B-4972-8D27-0F9CCFD5378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4e292199a0f33c14878dc95959d05da92bce7b","datavalue":{"value":"Isbell topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435274$CA24EE6B-28D7-4590-83E8-66842F3475E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435274$2211C05A-81B5-4C84-9C0B-577A4261E6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"208e88c30e604d2eddb3435e7db0da09fac6efa8","datavalue":{"value":"Lawson compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435274$92A6E736-DDC9-4B32-B033-F0E7623F6641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dacee591a46585b8713f75c809f8d373343a8822","datavalue":{"value":"well rooted domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435274$BCD99F59-751C-4BB7-B37C-5C5C324986F5","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":"Q2435274$BE2FC6BF-36EA-4B46-914D-A8E53F34225B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af7e48b035173e7fc1447c5a53c0441c69a90fe5","datavalue":{"value":"https://doi.org/10.1016/j.topol.2014.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2435274$CF1555EA-88A1-4B0F-B80F-736F68736D01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e41e310baf578ca6704fbd9058f9f231a7e84184","datavalue":{"value":"W1969843491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435274$6F197048-B4DE-44D3-B5C3-9FA6648C1D19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435274$46D391D2-758E-49B5-9AF1-728EAF9CFC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b3c36501b9b1b073093720ef4076558eecd1d3","datavalue":{"value":{"entity-type":"item","numeric-id":1295215,"id":"Q1295215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435274$86BE6C4E-CF88-4E8B-853F-70EE1862629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435274$363BFC48-84AE-41F2-AA4C-267D697F6B93","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":"Q2435274$B34715F1-30D0-446D-A6BC-F9BACD774D06","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":"Q2435274$AFDFDE49-F7DE-4E96-8563-682FF0A42E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a66abd4a0c114778ddbaa5df73c5a7204cf39c30","datavalue":{"value":{"entity-type":"item","numeric-id":1916446,"id":"Q1916446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435274$B03387DF-9BB7-49DE-BE7B-50E21D8FA3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b03ab84d95948deb02a6b7017c1b1faf05f72a82","datavalue":{"value":{"entity-type":"item","numeric-id":1963068,"id":"Q1963068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435274$2C21026C-A38C-4674-967D-E7AE7199EAF2","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":"Q2435274$58B0866A-F00F-4F91-A625-B4188265EB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87ecb3e08fece9c907d76ddea92fca79a04073b","datavalue":{"value":{"entity-type":"item","numeric-id":3154176,"id":"Q3154176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435274$CB05B55E-E501-47B8-AFED-0CFFD2709766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350a1e19f844ae5a113cd20f67f85b105262e3cf","datavalue":{"value":{"entity-type":"item","numeric-id":1004038,"id":"Q1004038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435274$7DD8B99B-2649-4FD9-B3E3-6BA7BCB349EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3287e49d0e077753f0c30524c73e8816c5ae0b9","datavalue":{"value":"10.1016/J.TOPOL.2014.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435274$50838EE8-1875-457E-B999-2378D33F0C5E","rank":"normal"}],"P1643":[{"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":"d0e71bdeaea9e6cc11d744ff0bea552bb78ad0bf","datavalue":{"value":{"amount":"+0.913083791732788","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":"Q2435274$7101A9BC-DAF5-4DE5-978E-8121577508D2","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":"88f0f55f65af444bd759cb053f57a1ed5389eef5","datavalue":{"value":{"amount":"+0.9074958562850952","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":"Q2435274$9C52CEBC-F36F-478D-8C24-B49DDBCFD3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96dc86c9f44bbd883782cf5c83efd123752cffc7","datavalue":{"value":{"entity-type":"item","numeric-id":2216678,"id":"Q2216678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ffa61d6e2c1668f9763479cf63206c8c0af411","datavalue":{"value":{"amount":"+0.9018612504005432","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":"Q2435274$2EA34239-CA0C-4E17-A881-C7DEC205B424","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":"3c065a52d959eb2f130f656cd7cbf996dbea9085","datavalue":{"value":{"amount":"+0.8909252285957336","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":"Q2435274$D3BE5D8E-3A2D-4A50-B8A2-1A7B67292CFB","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":"1d4329642afd8f3e8355177a7f276d7134428ddc","datavalue":{"value":{"amount":"+0.8842357397079468","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":"Q2435274$F4DBC96C-6D94-4CDB-A2A4-EC99A2AE109E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2435274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2435274"}}}}}