{"entities":{"Q2087399":{"pageid":2098141,"ns":120,"title":"Item:Q2087399","lastrevid":57733212,"modified":"2026-04-01T04:03:28Z","type":"item","id":"Q2087399","labels":{"en":{"language":"en","value":"The assembly of a pointfree bispace and its two variations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7604513"}},"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":"Q2087399$9868BD4B-70B4-4B33-9D87-C5C9FA127F8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ade9655e53f601e1a2abd2464f7aa637379594f5","datavalue":{"value":{"text":"The assembly of a pointfree bispace and its two variations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2087399$15AA8300-27AE-4E28-9266-7052EA29CE5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0873df7a5df71ad479abdc7d4e6e3d2178ff6ca3","datavalue":{"value":"1502.18024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087399$389CA4A4-45D8-48D7-9643-85B0E89FCBB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea353e1193da0eb8c3425149896128831c2a7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1979275,"id":"Q1979275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$918D9B36-B553-4D10-8F19-43D85ED3993F","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":"Q2087399$7F1423DD-D9EA-43CB-A69F-4A72E25662C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b82247747e917bc65b8028f0904119fbb329c96","datavalue":{"value":{"time":"+2022-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2087399$2FA5D092-B53D-406D-B4BA-99AAA4AC1360","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be775c8604016ccc82627d020cf6c90719e28eaa","datavalue":{"value":"https://arxiv.org/abs/2011.01547","type":"string"},"datatype":"url"},"type":"statement","id":"Q2087399$7A64FFD1-8FAE-463B-B553-A9965E35139E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"245d3342e680efb68418f02825de200c5917d89d","datavalue":{"value":"In 1963, \\textit{J. C. Kelly} [Proc. Lond. Math. Soc. (3) 13, 71--89 (1963; Zbl 0107.16401)] noted that the lack of symmetry of the quasi-metric leads to the existence of two topologies on the same set.  The author, in [J. Pure Appl. Algebra 226, No. 2, Article ID 106783, 39 p. (2022; Zbl 1477.18024)], introduced finitary biframes as pointfree duals of bitopological spaces mainly revolve around the theory of sublocales.  For a frame \\(L\\), the frame \\(A(L)\\) of the congruences of \\(L\\) is regarded to be the collection of all pointfree subspaces of \\(L\\).  Embedded in \\(A(L)\\) one has the subframe of closed congruences (representing closed subspaces of the space \\(L\\)) and the subframe of fitted congruences, namely, the joins of open congruences (those representing the open subspaces of \\(L\\)). These two frames generate all of \\(A(L)\\). Thus, there is a bitopological interplay between closed and fitted subspaces.  The central claim of this paper is that for a pointfree subspace \\(\\mathcal L\\) one still has a bitopological interplay between closed and fitted bisubspaces, but next to this one has a bitopological interplay which is orthogonal to this: the interplay between positive and negative bisubspaces of \\(\\mathcal L\\).  On the other hand, fitness and subfitness were both introduced and it is shown that the analogues of two characterization theorems for these axioms hold. A spatial, bitopological version of these theorems is proven, in which finitary biframes whose spectrum is pairwise \\(T_1\\) are characterized.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087399$78C357EE-EF72-4C72-83A9-F3AB0F33AE48","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d96e31fdc668420574bc971ea3054e55707bd09f","datavalue":{"value":{"entity-type":"item","numeric-id":820673,"id":"Q820673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$6F4765FD-4DE8-4203-802F-01E57F9E3406","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1018b98c6156b55756b9026efc9ed157beaf4774","datavalue":{"value":"18F70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087399$0DD6B443-C18D-46E9-A246-4A8A9F65C69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087399$8640EE2E-ABE6-470A-AF84-9EC58B248B4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1907a12620ad0f1e6ea65c03ab7de12311983f89","datavalue":{"value":"7604513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087399$4C3735C1-EE08-48D5-8979-949FB910EC1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087399$B10D444D-D18D-4F2F-88E3-408B66522EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54becc67f9990c02508216e035db78a990087af9","datavalue":{"value":"assembly","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087399$CC65220A-2E11-430A-811F-3BCA6943CB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d182c3b8afc129bc4ee85f66a3a2f6e3bfeecea0","datavalue":{"value":"frame congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087399$EC70A5B5-AD13-45F4-B305-DACA08D7E7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1267006844087c931764a1a69ed9e8209a9068a2","datavalue":{"value":"biframe","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087399$07BA19A3-3630-46F4-B23B-8CB32A8D1B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58dfc13a7e2a2833baa1745611a76f4ac783c3db","datavalue":{"value":"bispace","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087399$B7076558-7379-4BC6-A97F-87B4F78C772B","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":"Q2087399$C0821FE2-4C89-47B7-B194-5B376E0E2C56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fffec3de5f0e53719e59dd1e4d324f93b7214a48","datavalue":{"value":"W3096243428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087399$0AC3D64D-218D-4E50-A35A-383A2BB2876B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c283e294d2638e005c206e73ceed43fde2601c81","datavalue":{"value":{"entity-type":"item","numeric-id":1979276,"id":"Q1979276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$780329BA-787C-4180-9C9A-1212C72703C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1116b19c9afc8915dc056dd93345dc8bec8b72b9","datavalue":{"value":{"entity-type":"item","numeric-id":3002522,"id":"Q3002522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$5A01B366-1EEF-4661-9DA5-2C50F0AE1CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa76630decc61305bf5c0f7a8ec8e151bc86cfb4","datavalue":{"value":{"entity-type":"item","numeric-id":3293844,"id":"Q3293844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$714B1061-1F0D-486F-8D4D-83674508F858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3760b801141d798ca65d9cd1f7c7b1bb40a3cbe1","datavalue":{"value":{"entity-type":"item","numeric-id":3564341,"id":"Q3564341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$C3B778FB-83EF-4B03-A869-CD729281981A","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":"Q2087399$732D574D-4466-42A6-BB38-9845E79183E5","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":"Q2087399$7A3BF56D-A7FB-4537-A4B8-30D0290410C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d439ef1a306681eb4ade60b3a39f9a709db364","datavalue":{"value":{"entity-type":"item","numeric-id":5658807,"id":"Q5658807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$04F21276-925B-45F6-8BAB-B6C257CB4043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc68fb5e692b2e1de4edc7e1533acb2a73ee55a4","datavalue":{"value":{"entity-type":"item","numeric-id":2407976,"id":"Q2407976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$0BDDE5B3-386A-4597-B84D-52A9C8CF77B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0911faa347f6b68dcec70f5a7360ec1bee7009","datavalue":{"value":{"entity-type":"item","numeric-id":2447130,"id":"Q2447130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$B4CEFF77-922F-49A0-BFC1-1392C58FEA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716bc5971d4d30b69230f9860d823f6b57f4ee91","datavalue":{"value":{"entity-type":"item","numeric-id":1794273,"id":"Q1794273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$D277BC53-3C17-4149-9FA4-6E3BF709F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddc44c1a277c6675f1c94584ba1f6c6162b575","datavalue":{"value":{"entity-type":"item","numeric-id":4123990,"id":"Q4123990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087399$4F9B7649-C677-4CB7-9153-13FF91A79299","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24892895a0ddde6b43f3711a5938b8b4b5d5541c","datavalue":{"value":"10.1007/S00012-022-00793-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087399$4930444A-A698-4960-AAD4-5021187BCAC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c171c72dc4881b1bc9e133db1dfd120ec861ca","datavalue":{"value":{"entity-type":"item","numeric-id":1979276,"id":"Q1979276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41bab463a211a12ba09981bf9d7457d060d9e58","datavalue":{"value":{"amount":"+0.73647785","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":"Q2087399$5FBB1406-AF19-49D8-B90B-11112264F4AF","rank":"normal"},{"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":"591b5b2b59719351fb6fd874c0c3e20828bfa27f","datavalue":{"value":{"amount":"+0.6945458","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":"Q2087399$CB004D8D-81E6-44E8-A070-12F0A64393B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc4ddaed3c237ef23dd36c7b31b4da9d5731cdab","datavalue":{"value":{"entity-type":"item","numeric-id":941428,"id":"Q941428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529fdcf44334f0657c5a37fffd1976b48e6527a9","datavalue":{"value":{"amount":"+0.68254423","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":"Q2087399$B20C4A81-AB5E-41E8-92D4-258CB49500B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6970ed9951e060965488ee1ddfd1367cfc724dca","datavalue":{"value":{"entity-type":"item","numeric-id":328658,"id":"Q328658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7404e0feebde190bc34a636e3585c5fccbab6688","datavalue":{"value":{"amount":"+0.6737335","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":"Q2087399$FFD9A7B4-0D32-4CFF-A514-CF709DB6B1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb079fc486217cd202dad6e5cc4f37a37b0030d9","datavalue":{"value":{"entity-type":"item","numeric-id":645193,"id":"Q645193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c6a28e8628c37d04b0d2ffe155f0cfd0aa69e4","datavalue":{"value":{"amount":"+0.6657066","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":"Q2087399$2CC56099-ADEF-4591-BC68-F2B9DB53CFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e96d1827435d9d8b8a45f6f8afacf2116e9b8d","datavalue":{"value":{"entity-type":"item","numeric-id":4344260,"id":"Q4344260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c471178b105117f3e1230c35f8f254d6568224b","datavalue":{"value":{"amount":"+0.6651237","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":"Q2087399$0201DFBE-E8CA-4459-B972-F228E8A6692A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe509d7f6c371ba78f5aefcae57888c6a938758","datavalue":{"value":{"entity-type":"item","numeric-id":5015851,"id":"Q5015851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01258e8d687e42762d3b754a028df208d83dc05b","datavalue":{"value":{"amount":"+0.6641482","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":"Q2087399$E8F5B0D7-AED6-4061-A791-9FAC4F3A3714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ae8ac4c8f5dc9a0c7025d111d030069ffa0535","datavalue":{"value":{"entity-type":"item","numeric-id":1332448,"id":"Q1332448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402992f7830f7fcbc9d9ee7cf88d6bb8c4f851ed","datavalue":{"value":{"amount":"+0.66109717","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":"Q2087399$57AA6C21-E3D0-4628-96D6-41D7452A10FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d16f473bbea10621e42b75f666dfe849be456f8a","datavalue":{"value":{"entity-type":"item","numeric-id":2390517,"id":"Q2390517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a26816d57a695cfcd78f13fac1a9a5210840ce4","datavalue":{"value":{"amount":"+0.6566689","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":"Q2087399$90BF700B-BB8E-4C00-B326-1CF36D110B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cc3e6dd6e174a6a44dad04f96dc584d8ca0e0b","datavalue":{"value":{"entity-type":"item","numeric-id":283256,"id":"Q283256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd3a05979e06fac897b15f21dd58e1f2b8911d6","datavalue":{"value":{"amount":"+0.65595365","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":"Q2087399$9F2F3076-2A81-4975-868C-62603FBC76CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2087399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2087399"}}}}}