{"entities":{"Q304180":{"pageid":305947,"ns":120,"title":"Item:Q304180","lastrevid":60838479,"modified":"2026-04-10T19:27:03Z","type":"item","id":"Q304180","labels":{"en":{"language":"en","value":"On the proof that compact Hausdorff Boolean algebras are powersets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6619136"}},"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":"Q304180$2FCC859D-3B59-4972-8395-7325823AB151","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83cbd3639f35428533bceac0adfb7f054f5a0a01","datavalue":{"value":{"text":"On the proof that compact Hausdorff Boolean algebras are powersets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q304180$2FBAF55D-CDE2-45A8-B1E4-03C34AF3CCB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e36a88447ee778fc46661de10411ffe4b077371","datavalue":{"value":"1356.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304180$70E13CF3-4B9F-46E3-BA9F-09C167C946FB","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":"Q304180$05606A60-AAB1-4647-A7C5-552877E3ADA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a9f9cbe3caa94c5a830073c0f8ceb50e97586d9","datavalue":{"value":{"entity-type":"item","numeric-id":172076,"id":"Q172076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304180$49552282-0102-41FF-9944-4F572780234D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304180$CCE9C83F-65F7-407D-8FCD-8E75347AFB77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfdc4d4cc36ab9323cabe15e9f40864a71d2da75","datavalue":{"value":{"time":"+2016-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q304180$2CFD8332-B5C4-4059-ACA5-73E93ECF499B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2057dbc6ab00aa932cb38791ff412eed7d699b9a","datavalue":{"value":"\\textit{D. Papert Strauss} [Proc. Lond. Math. Soc. (3) 18, 217--230 (1968; Zbl 0153.33404)] proved that every compact Hausdorff topological Boolean algebra is isomorphic to a powerset algebra. Here, a topological Boolean algebra is one with a topology under which the operations are continuous. The present article gives a very simplified proof of this theorem. The proof uses standard arguments of topological algebra, but with a key use of Bogolyubov's lemma for Boolean algebras. This lemma is also given a simple proof, using characters and combinatorial arguments.","type":"string"},"datatype":"string"},"type":"statement","id":"Q304180$F07FEADF-472C-46B2-B13F-A0A0E77E2B47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304180$C3C26F13-642A-46BD-B114-0C33574451DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304180$DDA3EE64-0702-40A6-9983-F00FE2005F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304180$302C64C7-4A2F-437F-8139-68E6C7775A2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfe7bea709787836bfd253a88561e9e36073c343","datavalue":{"value":"6619136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304180$1DA7F3D4-D3A0-4716-B37F-3EDFAE1F4482","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc8a496f940ae640f6375167a0d56259b7758d8","datavalue":{"value":"topological Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q304180$DE34F38C-295C-4E9F-A39D-D0EF7C442F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a94117d45831ca3c41c3d736c8fdeb02e5c9ae","datavalue":{"value":"Boglyubov's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q304180$6DA166D4-D4D9-451B-9CC2-0501CC652269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eeb8c48eef97ebcf6094cbe0be8f7645adf040b","datavalue":{"value":"powersets","type":"string"},"datatype":"string"},"type":"statement","id":"Q304180$5F25840A-2E41-4680-8F60-FF7F88430918","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8c830f25d695f823013cb7f357472e8d32ae38a","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304180$D7FDDB02-0D39-4497-B8C4-B1B756A02F55","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":"Q304180$64E65CFD-AAB3-4037-A532-231B2B7F00ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c274c9adf874d46ff6033d8a7f17128a8a3c640","datavalue":{"value":"https://doi.org/10.1007/s11083-015-9363-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q304180$AB7C2804-F893-4BC4-BD34-4DC7B446B0D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54ddc96984f9bcd93ff3db10b4e0a0e0d3b3b625","datavalue":{"value":"W2129835049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304180$A3130347-8799-4D5D-B720-FD64EB13EC1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b59b5e96eff34eba541a427bdee6177d249de8","datavalue":{"value":{"entity-type":"item","numeric-id":3264265,"id":"Q3264265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304180$453E5E51-5F76-49D0-BA7F-49E92DBA8D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a88eba03a0a935fa9298e47f519f6cb14caa2c9","datavalue":{"value":{"entity-type":"item","numeric-id":4692983,"id":"Q4692983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304180$30C67971-84B7-45AA-8107-0AE9829E7378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c957d226198ed944e7ffa5de6e1fc69b282825b3","datavalue":{"value":{"entity-type":"item","numeric-id":719722,"id":"Q719722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304180$EBEB122E-23B2-4642-8356-0B1B84AA12E4","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":"Q304180$10DF9908-183F-4429-98FB-745EDAD35AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db55777c87f6101ad00d3f9d643b0699789ab2d4","datavalue":{"value":{"entity-type":"item","numeric-id":5534268,"id":"Q5534268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304180$3AA8023F-2E9F-413A-B370-83891A39204E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cba67c0a700632f06a14aa59b377f2fb689056c","datavalue":{"value":{"entity-type":"item","numeric-id":3941838,"id":"Q3941838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q304180$AE9FA30A-24BA-42CA-AD05-2864E2F3CB81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4355f1f60f4f7e10fb0d82702a3835ce7774b61","datavalue":{"value":"10.1007/S11083-015-9363-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q304180$36165CD5-C2A8-4B3A-AC6D-C42795B36510","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4bafc6f2aad12e8de14e00590da3d7edbac2c8","datavalue":{"value":{"entity-type":"item","numeric-id":1383769,"id":"Q1383769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9de53abec5d7955d7e4293d996a3df62eff5c8","datavalue":{"value":{"amount":"+0.784314751625061","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":"Q304180$912C44B4-78F7-4E0A-920B-59A49CA0D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b3f052d40da4193b63612c64c0a035ff42dd78","datavalue":{"value":{"entity-type":"item","numeric-id":3698858,"id":"Q3698858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7de506379560f4cc9ec7413208567f1aeeca7f","datavalue":{"value":{"amount":"+0.7805269360542297","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":"Q304180$FAFF3BB5-5F90-4C9F-9947-4CF9BCE6131F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bc635187abb6b78ff4a5838d8c3461c6b36962","datavalue":{"value":{"entity-type":"item","numeric-id":5379780,"id":"Q5379780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b27c3573e7f379216a64e65cd2ee2e97efc7b5","datavalue":{"value":{"amount":"+0.7380439639091492","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":"Q304180$F256ACE8-9945-4D96-AD5E-C940F8174C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a0c118d4d4fe3bff02e70bc812349122de72ac","datavalue":{"value":{"entity-type":"item","numeric-id":5411586,"id":"Q5411586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fbe20afda8c8e39496d833805ce43c58bbe4a3","datavalue":{"value":{"amount":"+0.7319128513336182","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":"Q304180$5E15D5D3-722A-4A5C-AF5C-2AF581D68B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec26deadf592ef01cacdd0c27c5a571b292417e","datavalue":{"value":{"entity-type":"item","numeric-id":1902919,"id":"Q1902919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf9509606242969f2a1f727d391a582d9c2abb9","datavalue":{"value":{"amount":"+0.7311137914657593","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":"Q304180$15D417B9-3090-4D5B-BF28-4A81FBDE6909","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the proof that compact Hausdorff Boolean algebras are powersets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_proof_that_compact_Hausdorff_Boolean_algebras_are_powersets"}}}}}