{"entities":{"Q1037413":{"pageid":1039261,"ns":120,"title":"Item:Q1037413","lastrevid":69478887,"modified":"2026-04-13T07:16:48Z","type":"item","id":"Q1037413","labels":{"en":{"language":"en","value":"A generalization of de Vries duality theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5633353"}},"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":"Q1037413$7C628AC4-31D3-4A01-9279-18B00417A1D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84f8c4bb49dcdfb967f8eb344ed37ed5491fefca","datavalue":{"value":{"text":"A generalization of de Vries duality theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1037413$C6F9147C-99E7-42B5-8CEA-011343D3C456","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a2ceab5b83f306685f520853136b42d5ff5f5e5","datavalue":{"value":"1196.54019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037413$2A5D884B-E881-4C8E-8D19-7B00D1082E1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6a3c99ddda387f89ad6648e1f57e44b79b59adf","datavalue":{"value":{"entity-type":"item","numeric-id":260604,"id":"Q260604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$6FA605AC-A463-40F7-8AFA-13D1DC459C07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$024085F8-C5A0-4E57-810C-04DB436543AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a063ddf8a89ca70cf9f598d7256c305bf346c0e5","datavalue":{"value":{"time":"+2009-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1037413$6C100A1A-81E5-43D2-82E4-4EA85C2BA42F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"392c09439ef8b99841ebc786f74913dfe116f2a2","datavalue":{"value":"https://arxiv.org/abs/0709.4041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1037413$088795FF-D1D4-403F-9261-1FF394322C06","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5bb758d3e7952b86a27241ae0ab26a57f886026","datavalue":{"value":"The Stone duality theorem states that the category of Boolean algebras is dual to that of zero dimensional compact Hausdorff spaces. In 1962, de Vries gave an extension of this to all compact Hausdorff spaces and a category of `compingent' Boolean algebras.  Region based topologies and contact algebras have been introduced as a means of giving a region based theory of space. These are based on the idea of a contact relation in addition to a Boolean algebra structure. One type of contact algebra, the normal contact algebras, are equivalent to de Vries' compingent Boolean algebras. Here another variant, local contact algebras, (LCAs), is given and a duality theorem between a category of LCAs and suitable morphisms and the category of locally compact Hausdorff spaces and perfect maps is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037413$D67B8E14-70D6-492A-ADED-3E8B85782701","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ab79fdaddc189a7483164e877e59b9ea4b806d0e","datavalue":{"value":{"entity-type":"item","numeric-id":590766,"id":"Q590766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$5160E9CC-7082-4458-8227-D139D6DFA1A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037413$7E1A6404-FD4B-4497-ACF4-CC98B3517AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037413$D111EACB-9978-48E8-ADFD-F4B67915B123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037413$75543A47-9206-445E-B717-624E5A27C40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037413$6EAB0080-67A3-4690-8788-F204769273D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95029d8a64bb8f3d3cdfc3600a969acd585581e0","datavalue":{"value":"54D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037413$D453A676-6A0E-4270-8EC2-D5B02A13E983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fde6f1b079e2f7199fd9f86bbad38cba037fd5","datavalue":{"value":"54E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037413$07F56757-162E-4CE7-8FB0-1FFFB67BCF7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db37760ce49e22961d4dfd552ad77521104a03c6","datavalue":{"value":"5633353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037413$D55FF722-307B-43BA-95D3-5F15AAF02DE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037413$7E928BF7-EBBC-4067-8F27-7ADE50574260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed2d667215d4cc0693142d0acd85087ce1cff22","datavalue":{"value":"local contact algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037413$919C820D-222B-478A-A3EB-DEE70C9746FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37aa6a631e3183d3ce1b74646553356dc298bf50","datavalue":{"value":"locally compact spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037413$83FC071F-A738-4480-8B46-EC5DB2119256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e13790f38e492403a0678df897bc3040172634f","datavalue":{"value":"perfect maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037413$F26BFC01-9D53-4BD0-8622-FF334932C460","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":"Q1037413$F5DAAD25-631C-4228-A4FB-E34C00BAF89B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8df89a8307a5ddeaad62afb6f6cde03abef695e2","datavalue":{"value":"W2016998726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037413$ACEAA6BF-A906-4611-AD35-57F96D16120C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$EC01AE30-01EF-46DB-B307-46D92AD9EFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0d1038fb25b7343da1d742589d58913b355085","datavalue":{"value":{"entity-type":"item","numeric-id":1355124,"id":"Q1355124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$EB36740D-2AB6-4B74-9DCF-9F32E8D16C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f520a11e2f8dd83da20c36b2127636fe3d44e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":3949653,"id":"Q3949653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$CF0E1FA1-9FDC-449F-80AF-FFD76FDE8F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650d8f9919c9710e2158ceddefeeb5d3586b576c","datavalue":{"value":{"entity-type":"item","numeric-id":4039354,"id":"Q4039354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$0324B90C-2C6C-40D1-A102-632C500EE408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84bc520fb3ac5a6867ab393233abe7bfa7a901","datavalue":{"value":{"entity-type":"item","numeric-id":3416080,"id":"Q3416080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$8F62DF57-F02C-448D-9A56-930BEFE92326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$F9E74E20-9E80-4664-BD97-E5B4BDC231D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67d3377deabdb9fd5097d4df4a82f506552df66","datavalue":{"value":{"entity-type":"item","numeric-id":5182842,"id":"Q5182842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$63343596-5319-40B6-B1B0-297B08AF88D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a11d930d7efc0e852c6b45f9a442ec9b69223c","datavalue":{"value":{"entity-type":"item","numeric-id":5774427,"id":"Q5774427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$2FD463B3-4A72-4D3A-B841-23C2206651A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1430057f5b02d1dc624f03f2f455e2ceeb0c0624","datavalue":{"value":{"entity-type":"item","numeric-id":5836035,"id":"Q5836035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$BFFC27F6-E4AB-43DC-B4AB-34F4717436C9","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":"Q1037413$D77A09B3-9BE8-40F6-AB9E-C9F28694543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79acf19e8c5499a69fb32e48d4a95766ba5447bc","datavalue":{"value":{"entity-type":"item","numeric-id":2523525,"id":"Q2523525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$EB465431-5BDF-45F1-86DF-9B8DE360C8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b2e8497a786895cbad62780da7f577d5575ce7","datavalue":{"value":{"entity-type":"item","numeric-id":5606492,"id":"Q5606492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$6E03A0EF-37E1-4397-B824-1D90B9824A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fac51303894c8e23df30d0e3ae82d21365ad86","datavalue":{"value":{"entity-type":"item","numeric-id":3976466,"id":"Q3976466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$C51F0C1B-BFBF-4E8A-BD53-727EE7926E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d88bad54c5af54345408828ac93c8acf9126","datavalue":{"value":{"entity-type":"item","numeric-id":1362588,"id":"Q1362588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$3B47A8AE-3EE2-4A84-96DF-9944C58460D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a898b7c253f66474efbb6f1144b23dc3d2952ece","datavalue":{"value":{"entity-type":"item","numeric-id":5735229,"id":"Q5735229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$1DCBB99B-1B23-46FA-AB5E-EA316CED01E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e295200959a23dbda2610c8c475aead07af32140","datavalue":{"value":{"entity-type":"item","numeric-id":5767211,"id":"Q5767211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$D0AB57C6-B0F4-4826-B44F-622C092D8439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b46c80f83c155165a692252b3ece505a1702c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3647306,"id":"Q3647306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037413$A471A74D-6652-408F-A072-A5CD03723664","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8202ea632f6bf9289686fcf133e73728b9416d58","datavalue":{"value":"10.1007/S10485-008-9144-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037413$ECA067A3-983F-4A7C-AACE-1C1A4C8CCEC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c0fa524b36a26c6eb259e24ccb21c8445cd26d","datavalue":{"value":{"entity-type":"item","numeric-id":626042,"id":"Q626042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa477aa3cacbcec9d2ad9251de06c4f79ec076f","datavalue":{"value":{"amount":"+0.9028882384300232","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":"Q1037413$FDFF1835-56C7-43EC-84CF-21C89B624073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f48d1333af95c85aa0cdbad3a037b539f07a43","datavalue":{"value":{"entity-type":"item","numeric-id":2400865,"id":"Q2400865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8674695eefcc3d942d8bb96672ac63692a360d0","datavalue":{"value":{"amount":"+0.8770879507064819","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":"Q1037413$265E6016-529E-4835-B0E3-6AE3812AFCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef5eae34dbfb6a076d1ad8ce9e7b75545fa78c4","datavalue":{"value":{"entity-type":"item","numeric-id":960844,"id":"Q960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c78ef0f85adc20d1f9d7cb9306723a8594390d","datavalue":{"value":{"amount":"+0.8366274833679199","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":"Q1037413$2C9AC707-230D-4063-8B21-946E10AE0C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b15f94776614c081511b0f6c73da818ddd6688","datavalue":{"value":{"entity-type":"item","numeric-id":626054,"id":"Q626054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb67a9aa82e96300289716e7be85d6c2e0e0759","datavalue":{"value":{"amount":"+0.8314624428749084","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":"Q1037413$23B490BD-FB92-45B3-B427-27C7FCDF437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783ab761c136cf213ea25c6d6d4756fd55e4480b","datavalue":{"value":{"entity-type":"item","numeric-id":2363289,"id":"Q2363289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff64b05b303544889cff06085be4f30914a32ac","datavalue":{"value":{"amount":"+0.8271395564079285","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":"Q1037413$603D43E0-3A3A-4883-94F3-05A1569884E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of de Vries duality theorem","badges":[]}}}}}