{"entities":{"Q1602950":{"pageid":1613690,"ns":120,"title":"Item:Q1602950","lastrevid":72305916,"modified":"2026-04-14T04:01:12Z","type":"item","id":"Q1602950","labels":{"en":{"language":"en","value":"Polish spaces, computable approximations, and bitopological spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1758562"}},"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":"Q1602950$8164EAF1-7905-4A22-AE60-55282B117479","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3c4b1664e13b0dfb52b2a536f1ff790d4c30f1f","datavalue":{"value":{"text":"Polish spaces, computable approximations, and bitopological spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1602950$9A582843-3A44-465E-93C2-93083D44DCA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d090b880e1a8fa5221ffa4d01e3356b9da900cf","datavalue":{"value":"0991.54034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$79122034-6394-471F-B350-B78A72720CC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29bcbefb30c69c3d55b6453863e81a08d24587b3","datavalue":{"value":"10.1016/S0166-8641(01)00072-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$65D4F09B-3201-4104-BAFB-BE88C27C452A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eff3f1dbe564cf37289d1cc6f7612bc183de25e8","datavalue":{"value":{"entity-type":"item","numeric-id":1121864,"id":"Q1121864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$541DACC2-4307-4884-9035-74A927F4073A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"246aca59c26dd60cdde7eda2836383b3ed1d8184","datavalue":{"value":{"entity-type":"item","numeric-id":194984,"id":"Q194984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$07ECB8EF-F5B2-4B8E-907C-644F40299D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c22657066a5aaf5862f50fc2d3a278905ea26377","datavalue":{"value":{"entity-type":"item","numeric-id":272846,"id":"Q272846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$63C53604-C318-4753-BDD4-E851C7B5A612","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":"Q1602950$443C0357-9176-42B0-B97A-6A9421599DAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdd63e74125a64b52265510548f082cbef9c284","datavalue":{"value":{"time":"+2002-06-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":"Q1602950$849D46B4-67DA-4E0A-85F3-867FF04D1D23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7d82c694f50662a495320492d54ab087defe458","datavalue":{"value":"The authors solve an open problem by showing that every Polish space can be the maximal point space of some bounded complete continuous domain with a countable base (bounded complete continuous domains are sometimes called continuous Scott domains). The bounded complete domain is called a computational model or domain environment for the given space. The proof depends on an intricate construction valid in any Polish space of a countable family \\({\\mathcal C}\\) of non-empty closed sets that (i) forms a closed subbase for a compact topology \\(\\tau^*\\), (ii) is a basis of (closed) neighborhoods for the original topology \\(\\tau\\), and (iii) given \\(C\\in{\\mathcal C}\\) and \\(x\\notin C\\), there exists \\(D\\in{\\mathcal C}\\) such that \\(C\\subseteq \\text{int}(D)\\) and \\(x\\notin D\\). The authors show that the bitopological space \\((X,\\tau, \\tau^*)\\) is pairwise regular and then they use the existence of such a topology \\(\\tau^*\\) to construct the bounded complete domain environment for the space.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1602950$47362FC1-D7DB-4627-941A-D8268B5A2555","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3298214cb032d91ebd405c9f55d8e4bfff45f88","datavalue":{"value":"54E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$6A0075B3-3809-4E89-B1E6-06760EBA5A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$8D170B60-66A8-49B3-8219-6E2CFBE9B546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d33fb8a3f05fbf38ac58993e53f5397b9b9bc43","datavalue":{"value":"54E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$C4F1DCF4-552E-43F7-962E-F793F859AB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c4ad1785471f430c5505937f552960d16df2055","datavalue":{"value":"06F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$E8D68FD2-A5FA-4EBD-A5EC-DB4242B528F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1973cb8aec01fefec7c06d3ac452f505442dd21","datavalue":{"value":"54C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$1A636680-A190-4266-BA41-CDE37F139770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$EB978607-F040-4C6C-9EBD-10C75F10C3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"849bcac29a22658739860df4ed100017aba1a860","datavalue":{"value":"54D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$7F5E98E3-6404-4478-BF45-5CCFC51CC8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6572440b52f16621a0f14dcfb541403c84695f8c","datavalue":{"value":"54H12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$86DE1941-46A1-4BFF-A45D-7C4B5E23EA15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65e901e2e67dc8c2a2e2aab2e166267ef107800b","datavalue":{"value":"1758562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1602950$3FB9F83D-A5CF-4B93-884E-D50E86AC5FC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4347278cb14b1079fbf0f24ac8ba681946f1efb","datavalue":{"value":"directed complete poset (dcpo)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1602950$D7CDDC7A-09A8-4362-949D-9B2417B65C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ccaa399317b6c2185265969a27f2197535c1f1","datavalue":{"value":"bounded complete dcpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q1602950$833711A7-879E-4A00-A308-99C5A2FBB3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9a47ff235d7e4b9a8abbd773a37380eb6fba8b","datavalue":{"value":"\\(\\omega\\)-continuous","type":"string"},"datatype":"string"},"type":"statement","id":"Q1602950$FADFCF61-0993-40D4-A423-4EB67AE294D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bbe18e6f7a4fbdf0627a85f77aeba8dbbf193bf","datavalue":{"value":"maximal point space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1602950$B78E0049-B1D5-49F7-902E-CB7A287EE48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1602950$3F65B6F4-BD67-4AE0-8D10-7E9DED90F395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66519391ea9a1978cb8c59756587a65be2897a22","datavalue":{"value":"Polish space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1602950$CEED3B16-717F-4A15-94B1-A777B7CA304B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117f1d3acc606ea016c6972659278c1eda454510","datavalue":{"value":"bitopological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1602950$8E07F6CC-613B-4548-AE96-03CA12C6BEA2","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":"Q1602950$7DBEA3C2-4396-4DA2-8073-CBAB4BBF348C","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":"Q1602950$667055E9-0AE9-4A6A-82F5-B7E5C9C09F57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc8d2c7a13767f4a94b345add72e6bd53521587","datavalue":{"value":{"entity-type":"item","numeric-id":2542436,"id":"Q2542436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$366EFFB9-D262-4C17-8DB5-8A6107F7C809","rank":"normal"},{"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":"Q1602950$07E025FC-1B20-4093-847E-AEB8F0B65ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b3513837ecf7acaa6a78c8c11f740809c1f9c9","datavalue":{"value":{"entity-type":"item","numeric-id":4211175,"id":"Q4211175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$CE8A2A8A-0C20-47FF-98C0-1AC78BE791DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41dbf60c1a8db3b7c57033c1d90445bc3e7c8ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4261083,"id":"Q4261083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$41753DB4-7875-4EEB-94B5-A7250832A637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a3815d09d256182bcf9f5cf34a359fb93d0d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4382500,"id":"Q4382500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$39581B23-36EE-463F-B1E4-16784C974E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a045e4eacd36529c56afa54eab4e20f5269881f","datavalue":{"value":{"entity-type":"item","numeric-id":1127525,"id":"Q1127525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$13776B2B-6CA3-40D2-B8A2-EFE7D2D9BBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$5E526FE7-B98E-497C-823F-F436D166E7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d40550fddd78fa96713d6f04c43b101012a561","datavalue":{"value":{"entity-type":"item","numeric-id":1295213,"id":"Q1295213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$64F000F6-66C8-42C4-B77F-1D1F5E74481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84403f5a205ab5352104f7af72914d401b49a8a0","datavalue":{"value":{"entity-type":"item","numeric-id":4231884,"id":"Q4231884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$A7BF20D4-D030-4AD5-A8BB-70DE5C8209BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5549613c18539374614bdfda0d9591d74a31f129","datavalue":{"value":{"entity-type":"item","numeric-id":1255703,"id":"Q1255703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$EF4E635B-F94E-47FA-8623-D6BD7A963E22","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":"Q1602950$DED8436B-5550-4FEC-86D7-30C66418E482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01d0367aa63595a58d2f22b9ae1d9cca1a51940","datavalue":{"value":{"entity-type":"item","numeric-id":5550888,"id":"Q5550888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$1FB67A91-DC83-4DCE-9798-69FC825FDDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5edf81ed837fc139edb00a5830b89fbd5c460d","datavalue":{"value":{"entity-type":"item","numeric-id":3914054,"id":"Q3914054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$91EFDFD4-B3AC-4CCE-96D5-AE0DEA74F2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ecf7971c37c56f6e064f1174a4080f016f75870","datavalue":{"value":{"entity-type":"item","numeric-id":800730,"id":"Q800730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$A4A2198F-35A8-4F36-A189-150EF315A450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d44c117c6081d8ed6fef3de881ec1225f6e77e","datavalue":{"value":{"entity-type":"item","numeric-id":1902986,"id":"Q1902986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$792E2763-3D0C-4135-BBC2-2A680D2F867D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb81132704a21123f0098162947c92007471cdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4366770,"id":"Q4366770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1602950$22C63282-334F-480E-A49B-71AF65EBC1D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3568192439af8c7202421328384603c3e1468d","datavalue":{"value":{"entity-type":"item","numeric-id":4261083,"id":"Q4261083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33849d53234faa45999f2bd749c125309b520582","datavalue":{"value":{"amount":"+0.8046762347221375","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":"Q1602950$0F682007-1134-4671-A880-574C2360FCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45720a5aa98bc1ea2f80d8b9b8b8d6742326856","datavalue":{"value":{"entity-type":"item","numeric-id":1295303,"id":"Q1295303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98997e738665ed64dcd49a76bff339a0f5bb7e9","datavalue":{"value":{"amount":"+0.7970194816589355","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":"Q1602950$EAF02CB2-CA96-424E-89CE-BB3ADE45CEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43dd96243af5c9b9769e7b4cb32eaa6f40499fb3","datavalue":{"value":{"entity-type":"item","numeric-id":1427785,"id":"Q1427785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86657eccf311ac91602327b7f865c1b05d20877","datavalue":{"value":{"amount":"+0.7965415716171265","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":"Q1602950$45784E8F-AD31-4A47-94F6-643716DA1313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7819e6a13e37fffb92fb8454cd1f0ab2a6f069","datavalue":{"value":{"entity-type":"item","numeric-id":1877616,"id":"Q1877616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475d8e1c7794321aab77f20906fb4163c1c3ffc8","datavalue":{"value":{"amount":"+0.7843149304389954","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":"Q1602950$F44CB900-663E-45AF-ABB4-DB62A9C69BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302a1364910fbfc78ac3f9c72ef3a16f1127796c","datavalue":{"value":{"entity-type":"item","numeric-id":717756,"id":"Q717756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fff9c041cd83f7bec180d46b5641f63f837d626","datavalue":{"value":{"amount":"+0.7835742831230164","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":"Q1602950$EEA55A0D-02B0-4E17-9CB0-8EAF125AFBB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polish spaces, computable approximations, and bitopological spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polish_spaces,_computable_approximations,_and_bitopological_spaces"}}}}}