{"entities":{"Q1928244":{"pageid":1938986,"ns":120,"title":"Item:Q1928244","lastrevid":43427326,"modified":"2025-07-25T17:58:40Z","type":"item","id":"Q1928244","labels":{"en":{"language":"en","value":"De Vries algebras and compact regular frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6121296"}},"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":"Q1928244$80D24E57-D71B-4A4D-A1AE-CA08BA703C30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15a0172afaee034ea113e21a816568b3f4ecbc56","datavalue":{"value":{"text":"De Vries algebras and compact regular frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1928244$78B5273D-0880-4D3A-92AB-458901238BB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3b118e0b0c007e8aa40f9c870deffdd9cd95eb9","datavalue":{"value":"1263.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928244$A4C67F6E-0DFD-40CD-8B95-D42656A87EE3","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":"Q1928244$30D46374-3A42-47E2-B897-894FDAA2A05C","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":"Q1928244$4C74D91A-3AEC-4A7D-9360-A48B23697958","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9e78dc582cccb265eec7a023159b5315b28fd05","datavalue":{"value":{"time":"+2013-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1928244$70846413-29F7-45DE-8012-2F6DE2991600","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bcbcc5ca157d7c3f24aafb7aefee3dfb2e413867","datavalue":{"value":"It is proved that the category of de Vries algebras is equivalent to the category of compact regular frames. Alhough this result can be deduced from the existing literature, the proof would go via employing the category of compact Hausdorff spaces and depends on the axiom of choice. In this paper a new proof is proposed which is direct and avoids usage of the axiom of choice. It is also proved that the category of completely regular de Vries algebras is equivalent to the category of compact completely regular frames. Other results are that the category of zero-dimensional de Vries algebras is equivalent to the category of zero-dimensional compact frames; and that the category of extremally disconnected de Vries algebras is equivalent to the category of extremally disconnected compact regular frames.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928244$E7D194EF-8A9B-4D27-A592-34EC8E012632","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"153a6e7b596ac49234b307fec107aee1ee6729ee","datavalue":{"value":{"entity-type":"item","numeric-id":284644,"id":"Q284644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928244$C4F0176F-C93E-4C3E-ADE7-46A1EBF68661","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928244$9F4A31E6-8DED-4389-834D-661FEAD4ABDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e27773547f308233adc65cc51648d362232eb38","datavalue":{"value":"6121296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928244$A4D966DF-B347-4F0B-992C-B8D76EE8821B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1b8f16cf8a1d15b48e65fd146fe74bc71a1466","datavalue":{"value":"point-free topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928244$4F2B2C55-FE4B-4121-8AC3-E48B96ECF9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928244$659B54D7-3BBB-4EEA-8293-B29439DFD8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f93a2af3645f3ee0651dfa1749a65fe5af062c","datavalue":{"value":"compact Hausdorff space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928244$829A9398-4FD1-4E0D-BC41-39995C79CE88","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":"Q1928244$B0FFAD7B-4ED9-4FD2-B2DF-AC277932D87A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edd077e932f8b2525602ab8228e813bae483886b","datavalue":{"value":"https://doi.org/10.1007/s10485-011-9252-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1928244$90648E20-35B2-4162-AD66-BC45F29748E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14f72ead2c3d929490f6b9aff81303939e3d514f","datavalue":{"value":"W2022860141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928244$7ED849C6-D780-4D41-B353-1400E339B656","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c78f873e1934d7e8d6042fb28b9becef9d53cb","datavalue":{"value":{"entity-type":"item","numeric-id":3209834,"id":"Q3209834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928244$D1786192-5D0D-4910-98F8-1BB7CD2CFD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88f484ba619b24e8d6dc7548e3787ac753243f0","datavalue":{"value":{"entity-type":"item","numeric-id":3927875,"id":"Q3927875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928244$AA4E4A35-160D-4DBA-A551-997E28F91857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5031afd21b374c30d3d3cde93a81e7f9db58143d","datavalue":{"value":{"entity-type":"item","numeric-id":4883943,"id":"Q4883943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928244$15856029-EFA1-4E92-B1F8-1F25224D3814","rank":"normal"},{"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":"Q1928244$10C1011B-1B23-4C5A-AFCF-FC8045D4C039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0a4af047e5444fd0dbcae6ce3f91fea8b217236","datavalue":{"value":{"entity-type":"item","numeric-id":770633,"id":"Q770633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928244$B89D98B4-C72F-4B76-A8C0-4CB9CCA798F2","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":"Q1928244$440AFD92-5E47-4061-AD97-EE36B3A0C615","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":"Q1928244$FC103820-F721-4464-A4A2-9DC45459564C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928244$1272A309-2029-4EB6-8005-15D4672FF8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0bbaafa84f7da3354e879c3c6ee19be2363e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5813695,"id":"Q5813695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928244$177BAE89-4526-4621-93AF-E33962ED47FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928244$732EA3B3-A2C5-4EE7-A120-7B5D598BD4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93140e580729ea7a66f1003478f45f19619f3d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5768904,"id":"Q5768904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928244$BBD2263B-3EE9-493D-9415-568E9D3D60CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd2e3e553a3adee38b9cd3047a9e3cb6c9532d2d","datavalue":{"value":"10.1007/S10485-011-9252-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928244$37BC26C2-90C6-4D28-9509-E328E9F1F574","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78457602f3789f1f2aaac6b6384f22ed4dcef6e5","datavalue":{"value":{"entity-type":"item","numeric-id":995617,"id":"Q995617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd657689d725a2aea63f9ed7b758e17d385656b","datavalue":{"value":{"amount":"+0.9062086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928244$A14C7193-816D-4C9B-B208-1CA8AB7C9E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82a655f7975a2edd7e5cc4166bd30ab9e2763658","datavalue":{"value":{"entity-type":"item","numeric-id":817695,"id":"Q817695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133a65f0d2eb133a9cec0d2631818cfa55b8665e","datavalue":{"value":{"amount":"+0.8907918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928244$3AA70148-DA6E-41F0-8C05-78585F024A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e0b15d2ce617d2b045d1b5866068ab69308f90","datavalue":{"value":{"entity-type":"item","numeric-id":5027124,"id":"Q5027124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96079ae064e518dbc200ca109757908f9a594a43","datavalue":{"value":{"amount":"+0.8869836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928244$6B2A5794-1D68-45FA-BD9D-DE26169BCC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0b785cfdfebf9c5729dec858f7c5d5a17fd88","datavalue":{"value":{"entity-type":"item","numeric-id":4912894,"id":"Q4912894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d010e40e95e319213eb2900e176b2f5bf58774bd","datavalue":{"value":{"amount":"+0.88632435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928244$58FD0AD2-7476-4CC5-8285-24BAE084798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da639e37d61ee51096710ccc62d07dee8adce656","datavalue":{"value":{"entity-type":"item","numeric-id":3830990,"id":"Q3830990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a091086758d2d54cae9d1ed72f13f863623c71","datavalue":{"value":{"amount":"+0.884434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928244$2878DE2C-EE82-4B5D-98F5-C00F04C5D84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432cceb563fbd60807b489c871386cc091e5bae2","datavalue":{"value":{"entity-type":"item","numeric-id":2350317,"id":"Q2350317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad666c43a093d4a89070ff5942786a077c9024e0","datavalue":{"value":{"amount":"+0.8816743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928244$E0709001-7AF2-4A61-8C80-936F4704BF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe327b511dd494efc7343e73a32551c4f3a8b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4284183,"id":"Q4284183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81852806c88e1e2bcf6dfe5a15751d923587ee5","datavalue":{"value":{"amount":"+0.8807086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928244$EE64CC76-74CB-42A7-B178-E7DC14BD6B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edde033d57e31fe4451001eed0bec6e3ef9143f0","datavalue":{"value":{"entity-type":"item","numeric-id":4896135,"id":"Q4896135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21add39ef406a2fb4aec7f7a31ef7acae1e55fca","datavalue":{"value":{"amount":"+0.8756598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928244$25C019B8-36EA-4D5D-9E68-EABA29EC7DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc7b28d127718487fa93b01a55f3012e62c2cab","datavalue":{"value":{"entity-type":"item","numeric-id":5090726,"id":"Q5090726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a60254254b64b0e32e75f989009f78c76252eb","datavalue":{"value":{"amount":"+0.8735905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928244$993A6797-73E0-4D1C-B74F-594A6BE5584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd7e2df5bbce5f010e9d601a79358cd199a9ac7","datavalue":{"value":{"entity-type":"item","numeric-id":2823069,"id":"Q2823069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7277a7cf594518960411a2282b37a4544e9183a0","datavalue":{"value":{"amount":"+0.8724618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1928244$031BD054-F650-4DA6-8E65-E1F2FEABD557","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1928244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1928244"}}}}}