{"entities":{"Q670153":{"pageid":672002,"ns":120,"title":"Item:Q670153","lastrevid":53385236,"modified":"2026-01-24T21:02:59Z","type":"item","id":"Q670153","labels":{"en":{"language":"en","value":"An extension of de Vries duality to completely regular spaces and compactifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7037224"}},"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":"Q670153$AAFC5E62-1933-489B-B1D4-402ECA0A94AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a8c77d0b035ee55abbe4264f552005439d773fa","datavalue":{"value":{"text":"An extension of de Vries duality to completely regular spaces and compactifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q670153$CB64CFAB-81BD-4FD6-84BE-0225F9BBDA18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39200674a7caee30f119a58a3de9ae3edc1effa3","datavalue":{"value":"1412.54034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$EDC72AAD-3F43-417E-A4BB-AD30EAA78F65","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":"Q670153$40C03AD7-3D57-4A86-BC83-49896A2056B9","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":"Q670153$8CB32985-0247-4CC1-A727-73E8BF7BE0A1","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":"Q670153$AAB66D42-417D-4AEF-9497-12F9127F63FA","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":"Q670153$24BFC968-6352-4F54-A8CC-601DA1376A11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dc5cebdcc6e7f765a3223544a9d2c2b5eef3c81","datavalue":{"value":{"time":"+2019-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q670153$C854CBA4-0106-4B52-9690-DFB7ADE74EEE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f0825a52304e64c665166ead831facb0921e37f6","datavalue":{"value":"A well-known theorem of Smirnov asserts that compactifications of a completely regular space $X$ can be described internally by means of proximities on $X$ compatible with the given topology. In 1962 H. de Vries has found an alternative proof of Smirnov's theorem by providing an algebraic description of the category \\(\\mathsf{KHaus}\\) of compact Hausdorff spaces. Then he proved that \\(\\mathsf{KHaus}\\) is dually equivalent to the category of complete Boolean algebras with a proximity on them, known as de Vries algebras. The goal of this article is to extend ``de Vries duality'' from the setting of compact Hausdorff spaces to that of completely regular spaces. \\par The authors are doing this by introducing a category \\(\\mathsf{Comp}\\), whose objects are compactifications $e:X\\to Y$, where $X$ is a completely regular space, $Y$ is compact Hausdorff and $e$ is a dense embedding. For compactifications $e:X\\to Y$, $e':X'\\to Y'$, a morphism in this category is given by a pair $(f,g)$ of continuous maps with $f:X\\to X'$, $g:Y\\to Y'$ such that $g\\circ e=e'\\circ f$. After recalling Tarski duality, the category \\(\\mathsf{DeVe}\\) of de Vries extensions is introduced, and then it is pointed out that \\(\\mathsf{Comp}\\) and \\(\\mathsf{DeVe}\\) are dually equivalent, thus generalizing de Vries and Tarski dualities. The last section of this paper deals with so-called maximal de Vries extensions, and it is shown that they correspond to Stone-\u010cech compactifications. As a corollary the authors derive that the category \\(\\mathsf{CReg}\\) of completely regular spaces is dually equivalent to the full subcategory \\(\\mathsf{MDeVe}\\) of \\(\\mathsf{DeVe}\\) consisting of maximal de Vries extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q670153$6AAC192E-69F4-4EBA-8A92-C3C869E24D7B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ec177d65807ad082bf36bcb13e32a73b98d944c","datavalue":{"value":{"entity-type":"item","numeric-id":590337,"id":"Q590337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670153$0827D638-8574-4D98-BB70-76A882A39601","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f0d5addb2d30fca390d5d0949dbf8c7e9c67e06","datavalue":{"value":"54D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$388D46ED-BC6E-4650-8455-246D5F2B7915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$88736B59-AFAC-45FB-ADEC-5A513E6480D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$A0C3F6EB-8D74-46CB-BD19-A68A9AA83FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fde6f1b079e2f7199fd9f86bbad38cba037fd5","datavalue":{"value":"54E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$1D4B4F45-6479-4D57-B279-D4676C8DA28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$91DE9C6B-8B28-4A06-B7E7-E5A5E3B7064D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$72F6A747-B48B-48ED-91B0-08945BDAAC68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"669386907a072f1d71eec7891e25d718110c1194","datavalue":{"value":"7037224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$871F070B-0050-4E6B-B125-6BF6FDEAE68D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f93a2af3645f3ee0651dfa1749a65fe5af062c","datavalue":{"value":"compact Hausdorff space","type":"string"},"datatype":"string"},"type":"statement","id":"Q670153$FDEB5093-C6E5-4069-8241-E8555B5A87D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0547034779ec733f3bbec93874d11a2676bdeb","datavalue":{"value":"completely regular space","type":"string"},"datatype":"string"},"type":"statement","id":"Q670153$9446750C-A2A7-4723-80BA-F105FD386B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec9e24d466446edd31522961fa33c39d9b5d9ef","datavalue":{"value":"compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q670153$994C471F-1BFE-4BC8-8C4C-276011914BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb5f0e9e71709dc853e837415045aef8a51c583","datavalue":{"value":"proximity","type":"string"},"datatype":"string"},"type":"statement","id":"Q670153$7E3B1B1C-CD6D-4229-8C86-DC261D0586CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2888a8a36ebe62b84548be129e29ac3de5e176ea","datavalue":{"value":"de Vries duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q670153$6276A1A8-2221-484E-AF53-151300A6D298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd3d808871bec0d813060edc60b0f93ee9cf5336","datavalue":{"value":"complete Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q670153$5AD29011-6002-47F1-81F8-70342B7470E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ce83f5647101870a68df505cfa027c9a1659b9","datavalue":{"value":"maximal de Vries extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q670153$181B6CDD-1D43-4EC3-80B7-177051400760","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":"Q670153$EF0DAE17-BC31-4B54-8819-784DF0887EFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fd807b85de36bf1db491586e188a7acf1cedd97","datavalue":{"value":"https://doi.org/10.1016/j.topol.2019.02.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q670153$E0BA1F7A-9415-4A8D-9216-18E741B2843A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8759534d959700edd6547184416410c0ff4fea9f","datavalue":{"value":"W2917724112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$36287970-2A06-4688-AF4A-2CE7D65BD4DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"638e14e79a5fb6a2f543b113c1ce89fa4d4a8716","datavalue":{"value":{"entity-type":"item","numeric-id":960844,"id":"Q960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670153$77581BCC-A25A-4298-89E4-3CCEDC287F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597821d0dd15a6705cf275cf40b6dbdbe27004f4","datavalue":{"value":{"entity-type":"item","numeric-id":2015817,"id":"Q2015817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670153$71EF06A6-0061-4437-A1B5-DC828CCAFA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48d78d414a6e1ec29f1bd5a94a76cb4a5fd15fc","datavalue":{"value":{"entity-type":"item","numeric-id":4596110,"id":"Q4596110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670153$8BA4663F-B1A9-4B24-BBD9-38FCC7844A3D","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":"Q670153$3F1E0BBA-9AC0-4DC5-885E-16C8DE0AE5E3","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":"Q670153$3B051CA6-82F8-422F-ACB6-2CD6F5C58D0F","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":"Q670153$43C1ECCB-8BC4-472B-8167-2BC1164D8E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54c4b1acd4ae5f2afbcd2a514eea258bf4946e3","datavalue":{"value":{"entity-type":"item","numeric-id":1845409,"id":"Q1845409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q670153$3A471E5E-BA9C-4F7D-915A-C15F8D286583","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":"Q670153$F78F55B3-C800-4D1A-A77F-2B59F7C601D6","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":"Q670153$AA24EC88-E938-4B4D-AE8E-AE150D249B91","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":"Q670153$842716D0-3655-4704-8286-F40469E79C3B","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":"Q670153$216A8B80-0DD9-448F-B1B0-DE09D197CE86","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":"Q670153$8386449A-7602-4F71-96CE-4F6BBA607486","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0aa5868744d7409af7c9b50485ab93087b5f3c6c","datavalue":{"value":"Q128334415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$FF4AA5F6-1A6D-4F8C-BEC8-CBE6B20DF025","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98f5b16a79e5034f6a173a51bc049a632b63bc2c","datavalue":{"value":"10.1016/J.TOPOL.2019.02.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q670153$5BBEAD8D-0960-41E8-8E2F-964CA3824B86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a1af0311913ae847cfec247ed9f64248b8d462","datavalue":{"value":{"entity-type":"item","numeric-id":2318410,"id":"Q2318410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27209228de6aeba1493872257e0090bbc8cf7694","datavalue":{"value":{"amount":"+0.8990749716758728","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":"Q670153$F5A1B73F-1F92-423E-B338-13A3E3B6F0F2","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":"6f39bf19683c040f05a43c84194ada720f099943","datavalue":{"value":{"amount":"+0.8544725775718689","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":"Q670153$93572287-CC78-4A4E-8A90-7BB4EB08BC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ec3086349925a8bcb3b25d0219df846c84fc85","datavalue":{"value":{"entity-type":"item","numeric-id":2307611,"id":"Q2307611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c418e13ef12f55d8e778bf40a352125318e33633","datavalue":{"value":{"amount":"+0.8344160914421082","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":"Q670153$DB20146B-ACFA-42BF-959A-E1241939FD70","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":"3e0e555c6a18bfdac4b6b408898629a0127209bd","datavalue":{"value":{"amount":"+0.8323702812194824","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":"Q670153$FFF59768-D3A0-4AD1-8228-2BEDFF0F77BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbacd39f6edcc13812a346e9a6ec173418300c6","datavalue":{"value":{"entity-type":"item","numeric-id":5024058,"id":"Q5024058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69f3848b5676eca23d2552c5196c1604d22a897","datavalue":{"value":{"amount":"+0.8311993479728699","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":"Q670153$C03EB9D3-EE1F-4057-87EA-6DABB445F88B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:670153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:670153"}}}}}