{"entities":{"Q941428":{"pageid":943276,"ns":120,"title":"Item:Q941428","lastrevid":65576055,"modified":"2026-04-12T03:33:07Z","type":"item","id":"Q941428","labels":{"en":{"language":"en","value":"A Hofmann-Mislove theorem for bitopological spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318668"}},"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":"Q941428$5FDB6176-DF9A-435C-B0F0-889E3791D96B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd200bb2e1e0eb1c08b58f94e98284286e35bf05","datavalue":{"value":{"text":"A Hofmann-Mislove theorem for bitopological spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q941428$15C5D3B5-0BF5-4423-A558-3BA0507FCC1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bffcabcd4b8b464024377bbbd9ab9b19fe26bde","datavalue":{"value":"1221.54036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941428$E34A50B5-D338-4DA0-AA01-FC5C42135624","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf169dfbc83e2cfb9f268c6e1ff4674697c5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":283747,"id":"Q283747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$9B2F5145-7EAB-4F31-AEA2-EA7EFA4CF1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d521e2c17b305a792cdffdc2fc62dc25d523a52","datavalue":{"value":{"entity-type":"item","numeric-id":299204,"id":"Q299204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$36009C98-9BBE-4D7A-83B2-F3B143D4FAFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$93D66085-C0FC-4039-8432-4660CCA39B8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69a3b8af869e2bcb147113fe194666e3284a9607","datavalue":{"value":{"time":"+2008-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q941428$F09F9208-B9E8-4833-B399-E728A36D338C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"459f27551ae9fbfa05f7e41a7f9ce5f55c053089","datavalue":{"value":"A `frame' is a complete lattice in which finite meets distribute over arbitrary joins. A frame homomorphism preserves finite meets and arbitrary joins leading to the category Frm. There is a dual adjunction between Top and Frm. With the duality between topological spaces and frames the authors have presented a Stone duality for bitopological spaces. In the process, the concept of \\(d\\)-frame has been introduced; with necessary accessories, the resulting category is denoted by \\(d\\)Frm; for a bitopological space the authors have taken two topologies \\(\\tau_+\\) and \\(\\tau_-\\) with no connection between them; morphisms between bitopological spaces are required to be continuous with respect to each of the topologies and finally, with all these, the category biTop is generated; the authors have proved a dual adjunction between biTop and \\(d\\)Frm. Under the additional assumption of regularity, the authors have proved a characterization theorem for subsets of a bisober space that are compact in one and closed in the other topology. This is an analogue to the celebrated Hofmann-Mislove theorem for sober spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q941428$441B4683-E1C4-4E65-9537-125744E3C302","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d33fb8a3f05fbf38ac58993e53f5397b9b9bc43","datavalue":{"value":"54E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941428$3F11377C-71F4-49F2-BD1D-B4F19253BA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941428$2E3326B0-39E0-45C0-AE8F-0C115B09821B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941428$99C7D93B-1A2C-4183-B270-F7CC76CCAE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941428$7D447512-ADEC-4128-B364-3C6A947BF0DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09d5741fa20e6691fd0a8c8dc50aa60af76bbbfa","datavalue":{"value":"5318668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941428$EABCC396-D20B-4958-8B0E-FB18988B505F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a030d4704a2813b8d2a5047ded9e28f010776251","datavalue":{"value":"bitopological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q941428$3EDB253D-D736-45A9-89DA-49147076CE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e99f5cbd560695085e5d778e0672a0f253cddde","datavalue":{"value":"d-frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q941428$608ADF8C-FABF-4BCD-9563-9B856732667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066f2a2aff50c5d6a10d6ac585e7aabe33435802","datavalue":{"value":"stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q941428$7F632555-3C26-48D7-9AF8-BC4906B2B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fc72e6cb5c1cba8e040419085520e8eb769182","datavalue":{"value":"sober spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q941428$2E42D7C7-7A3D-4052-AC56-4A7222B73055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b289e21be4170d9affa69d4e9c61f20584c71a","datavalue":{"value":"Hofmann-Mislove theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q941428$55B9BFB2-28DE-410C-BCEC-EA913C1DE139","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":"Q941428$4827C124-E507-4CD3-8A95-D4A2FEA34232","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8116b21ec8ce95c5b84f4b250f73d06c38a1e56a","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.02.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q941428$A5A54BA1-C616-41B1-B37B-65F4CAA82C99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e3dc7b014f34ec2be5309f295b826fff215314a","datavalue":{"value":"W1963658540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941428$5C2C94A9-2A88-4C75-9821-9B9C6B4885B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$2FD1D313-192F-4214-B4BA-44AE493DE632","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":"Q941428$FFCC33A7-E40C-4666-84F0-B333C182AE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51195da1f817240cba11d7e85100e845dc948cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3658040,"id":"Q3658040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$43D493C9-489F-4FB6-BCB8-CD88179B3910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$62BF1979-E6F2-4E52-B3FE-42D8B4884785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754836fdc8479831a30af9f2874982555dfbc87a","datavalue":{"value":{"entity-type":"item","numeric-id":3360172,"id":"Q3360172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$392972E4-05C2-41F5-BC44-A2E1E0960E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c011976786e9296b75809e37adbca982f4df1dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5787934,"id":"Q5787934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$01F17462-F709-4EFF-BF6C-25F965E1ABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$732C8B64-7DF1-4691-BD2A-05C098FD23F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68c250d398e623d795e5d7b483b44a661237736","datavalue":{"value":{"entity-type":"item","numeric-id":2844075,"id":"Q2844075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$88D483E3-EE43-42F5-B149-8F1B10210EE4","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":"Q941428$5AAA3150-BA46-41E9-A778-705C5033B8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40ec9f65c8a6602891aab9e9812e47300391e10","datavalue":{"value":{"entity-type":"item","numeric-id":3915037,"id":"Q3915037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$29C4809C-D93F-49E3-933A-31649E60B0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$8411E37E-531E-4D33-8BCB-1DA1E40BC959","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":"Q941428$E5053346-CE49-490A-8A74-0A804C911B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfdaf90b6a04ef9c4a40c03a80a6fdf2e999fce","datavalue":{"value":{"entity-type":"item","numeric-id":5262937,"id":"Q5262937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$65D8BFB7-A146-4BC5-84E2-ECBB859F2691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2445a892b3b919a8cc9cb985d7975cf4a673f1ed","datavalue":{"value":{"entity-type":"item","numeric-id":4281769,"id":"Q4281769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$4731C46C-A302-4F7E-B26B-3D4F1362BEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7829b8e34102836278f3b80e37f72fbf4ea12db5","datavalue":{"value":{"entity-type":"item","numeric-id":3864573,"id":"Q3864573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$853BB375-5457-4998-8094-91C8A9EF16E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c0c08c998a0a93f03ec352999bc5310d5a0101","datavalue":{"value":{"entity-type":"item","numeric-id":3920613,"id":"Q3920613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$A7CFA3B5-07B4-4E99-9425-356CE41982C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$9282398B-589E-422C-81AE-07AF2615A37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9d623cd7ee4cf1f62fd548e24deeb532e455c2","datavalue":{"value":{"entity-type":"item","numeric-id":4525542,"id":"Q4525542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$77D2E86C-76F3-41CA-95A2-5F601D0D7FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941428$5BE54D58-A823-4186-81A3-1E69007BC125","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70cd6774d51a3cc0206f7600ef0a1da2ef53aa64","datavalue":{"value":"10.1016/J.JLAP.2008.02.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941428$60F61571-C4A4-4D46-AFAB-22F2EC2DEC49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd01398312afff16d98a00302fa210f4444e64a4","datavalue":{"value":{"entity-type":"item","numeric-id":5262937,"id":"Q5262937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146d66142f5f06aa4b64b509f75dfb106f61997b","datavalue":{"value":{"amount":"+0.9910385608673096","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":"Q941428$409F5A68-9640-4F79-A33E-057F0978644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c230c4dc6810d14a0c45aa50cd6363e6e0cdaf","datavalue":{"value":{"entity-type":"item","numeric-id":4500951,"id":"Q4500951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ff11af3179ce7ec65e27ce9ad3b4fa20c68552","datavalue":{"value":{"amount":"+0.7816842198371887","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":"Q941428$99CE714B-EA65-4802-9365-7A53822E2BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"221189fd42c7019db2196c7c6426023863534a6f","datavalue":{"value":{"entity-type":"item","numeric-id":5872365,"id":"Q5872365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a604acbcedd65f7d54cefbc76855971bff0d897","datavalue":{"value":{"amount":"+0.7615232467651367","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":"Q941428$2F7DB002-C8E3-4A5F-9E6C-142E212E742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4271bbf63b6608c480e6214ad21e081a8ccd519","datavalue":{"value":{"entity-type":"item","numeric-id":3372727,"id":"Q3372727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfec43c4d29022ed6408a10b162e87834e11db3","datavalue":{"value":{"amount":"+0.7547369003295898","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":"Q941428$D90E10A9-962A-47DC-8974-798AC2894D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba7990caf94e25cc4b32420969c162532af387a","datavalue":{"value":{"entity-type":"item","numeric-id":554414,"id":"Q554414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915c4222d38d3c10b18c6fd98f5a97ac4a25248e","datavalue":{"value":{"amount":"+0.7457481622695923","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":"Q941428$B2226E17-EA1D-4B24-BDE2-C188AB83D09A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Hofmann-Mislove theorem for bitopological spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Hofmann-Mislove_theorem_for_bitopological_spaces"}}}}}