{"entities":{"Q2318410":{"pageid":2329153,"ns":120,"title":"Item:Q2318410","lastrevid":57851517,"modified":"2026-04-02T19:32:13Z","type":"item","id":"Q2318410","labels":{"en":{"language":"en","value":"An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7094395"}},"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":"Q2318410$9C2003D1-22D5-4449-AFDF-58D799066BAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68c4da47eda59216a8d51782e702962e2153d3ea","datavalue":{"value":{"text":"An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2318410$8D44133C-F5A6-4A65-8392-4CE5934D8E2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3fd27142492aaa4d262bfdf42bbcb41a633887a","datavalue":{"value":"1422.54012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318410$F156959D-0DC1-41B1-A704-B1490FD853E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318410$7DBA653C-2011-4003-87B6-FD8869EDA2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0ac4d1cb62b97c78ea4b7512361f97c99bd36b","datavalue":{"value":{"entity-type":"item","numeric-id":215952,"id":"Q215952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318410$23B71B47-C9E1-41F6-9D32-1D683228B69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab83955e64e769e2b3af28d42ba6635ee2ff40a","datavalue":{"value":{"entity-type":"item","numeric-id":168804,"id":"Q168804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318410$0D9D60E4-B5D7-4E48-92FE-C35C8FCC9397","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318410$C871AF50-E5A3-49BA-9EA6-44B5B13BF1F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77fd9504ab9f9a1d017ec97a7cdec039d17298a2","datavalue":{"value":{"time":"+2019-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2318410$322949CC-C4CB-4060-9842-FC99430655E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acca77a8fe23653945bd01a9ed1d023f9b703b31","datavalue":{"value":"https://arxiv.org/abs/1804.04303","type":"string"},"datatype":"url"},"type":"statement","id":"Q2318410$4DDF5307-F783-4D4E-8028-9818BC16A687","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b774f25b0e8c10d0f898c85a188257e0cf69391","datavalue":{"value":"In [``Compact Spaces and Compactifications. An algebraic approach'', PhD Thesis, University of Amsterdam (1962)], \\textit{H. de Vries} showed that the categories \\(\\mathsf{KHaus}\\) and \\(\\mathsf{DeV}\\) are dually equivalent. This present paper extends de Vries duality to normal spaces and locally compact Hausdorff spaces. As a generalisation, by this work some known results are deduced.  Reviewer's Remark: In the paper [\\textit{S. Lazaar} and \\textit{S. Nacib}, Appl. Gen. Topol. 19, No. 2, 245--252 (2018; Zbl 1431.54014)], the authors proved that the category \\(\\mathsf{HComp}\\), which is called here \\(\\mathsf{KHaus}\\) is exactly the orthogonal hull of \\([0,1]\\). So it is of interest to study this approach to interpret differently the equivalent duality between \\(\\mathsf{KHaus}\\) and \\(\\mathsf{DeV}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318410$16EA2543-A28E-4D01-9E5F-351DD3B6523B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7b77f4adb191021032c63ba8e6871c7e5a531dd5","datavalue":{"value":{"entity-type":"item","numeric-id":350828,"id":"Q350828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318410$81E6180A-FCF7-4345-BFC9-A937EA2302A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318410$D7481C78-70E1-4CB3-8506-9E5238578EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f0d5addb2d30fca390d5d0949dbf8c7e9c67e06","datavalue":{"value":"54D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318410$3F2BD5D6-8F0B-4B6D-B2A6-CFE300974D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318410$1B7296D8-A3F5-4CBD-87A8-610217C73A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95029d8a64bb8f3d3cdfc3600a969acd585581e0","datavalue":{"value":"54D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318410$FDC4E968-80BC-47EC-A440-29FB4BF2FC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fde6f1b079e2f7199fd9f86bbad38cba037fd5","datavalue":{"value":"54E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318410$CC434FCB-7E83-4755-A0D9-9CC02AC5C47E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a47ae23d062c3e3a7391b1012d8b953b529ec78","datavalue":{"value":"7094395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318410$83599B61-23B5-4991-9903-5C9389466F5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f93a2af3645f3ee0651dfa1749a65fe5af062c","datavalue":{"value":"compact Hausdorff space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318410$402DE797-8B0E-4E5E-BA77-027DBAB27CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eddd0b746d5eb1598b1e36227a331acf5265c","datavalue":{"value":"normal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318410$1B97A2A6-FA29-450B-9947-ECD092BAD505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf55b7bc317704fb32659c99e192753675e0fb83","datavalue":{"value":"locally compact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318410$29E4CBB9-BE1C-4AB1-B068-121C03E3465A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb5f0e9e71709dc853e837415045aef8a51c583","datavalue":{"value":"proximity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318410$F07A7252-0BB6-4861-8E86-BB5A3D8579A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2888a8a36ebe62b84548be129e29ac3de5e176ea","datavalue":{"value":"de Vries duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318410$F6673981-67CB-4637-8DDE-EAD15AA429D5","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":"Q2318410$1D85DFFF-FDB4-4BC3-8967-AE456CFEA3DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"859ad30a54fe9921b0eb1f4dd8e579d30af2115d","datavalue":{"value":"W2953223933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318410$A6604E5D-F334-424E-8118-C89AF3EF3B39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"568ba08010cafd6d9701b7b1635cfe464cc9f8d4","datavalue":{"value":{"entity-type":"item","numeric-id":670153,"id":"Q670153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318410$7F5FED1F-088D-42A5-A160-590B7362A202","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":"Q2318410$496F1934-39AB-4CA5-AD2A-6A1479DFD4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435fb2899aeb184b43c13c6e2863ba52205294aa","datavalue":{"value":{"entity-type":"item","numeric-id":626042,"id":"Q626042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318410$FA5E2880-65A5-4085-A06C-24FDA0D4ABE5","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":"Q2318410$6B2EBB15-6CE5-47C1-BCCA-0D5B4227E585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318410$D5A83839-6D8A-43AA-90FF-846CFA00FA71","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":"Q2318410$EADE7819-D12A-44D3-813F-56C235FA2827","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":"Q2318410$361A127D-4FE2-46C6-9E4C-C4298474300F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318410$85ABD26D-CFB6-4436-8A90-A24C10F01D76","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":"Q2318410$59D50A8A-A435-4F6A-A29A-E6E17C0491EC","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":"Q2318410$0E5F9252-E2D8-4D28-A1EA-0375DC184AAC","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":"Q2318410$CE2EC668-B08F-4E3B-A204-A442DE0A5A45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e0532c659661c685811cf08994ee6962f66d865","datavalue":{"value":"10.1016/J.JPAA.2019.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318410$1A56FED3-7408-417A-87B4-3BF5B7C5C2C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fffe1dd2ef3a1874b345acbb8b057fe319b4ceca","datavalue":{"value":{"entity-type":"item","numeric-id":2121604,"id":"Q2121604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f366acb8027d79c9befcac796448aab9381c0be","datavalue":{"value":{"amount":"+0.8442692756652832","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":"Q2318410$AAB58219-7C08-4DF5-8630-B65DA5CB40DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93420bef739b2782d7019c9beeede72fbb615eec","datavalue":{"value":{"entity-type":"item","numeric-id":670153,"id":"Q670153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f073ba14c3540ad61d8629e2bf16e55091f6a3a8","datavalue":{"value":{"amount":"+0.8228358030319214","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":"Q2318410$6B5073AA-F569-43CF-891F-4C1138286676","rank":"normal"},{"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":"3fbb6c330bed3e62de11828e0219d0fe533705b1","datavalue":{"value":{"amount":"+0.801813542842865","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":"Q2318410$390B6EDE-7D00-44B7-9104-16B686D93A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a61b3e0736742cdb9cdefa09cfc2bd1f557d080","datavalue":{"value":{"entity-type":"item","numeric-id":2014017,"id":"Q2014017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950762481464d7fb131151b9ad5d7cff911d5f96","datavalue":{"value":{"amount":"+0.7981014251708984","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":"Q2318410$B42C5C7C-3EE4-49C4-BEC5-BC4EC324DE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73043a183aeb233d030602e75f1ceb0f6c2a3798","datavalue":{"value":{"entity-type":"item","numeric-id":1037413,"id":"Q1037413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783c5348dc2cdb85d6767f179275ff47b526df1f","datavalue":{"value":{"amount":"+0.7864118218421936","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":"Q2318410$A21AB51E-27ED-48E1-ABF8-0F809B698ED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2318410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2318410"}}}}}