{"entities":{"Q2725210":{"pageid":2735949,"ns":120,"title":"Item:Q2725210","lastrevid":82888010,"modified":"2026-05-06T22:21:11Z","type":"item","id":"Q2725210","labels":{"en":{"language":"en","value":"A characterization of complete Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1618988"}},"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":"Q2725210$54CF6780-88A3-4D64-A0AA-0AB0EE58757B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c0eeaed8756e33559d3b0eefbb40945a0807ca6","datavalue":{"value":"0988.52001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725210$8EBCC6C5-20ED-4D9B-94E7-7AE6ADBEE546","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c672d821251528339788f1e90c4312b8f90c6d5","datavalue":{"value":{"entity-type":"item","numeric-id":178316,"id":"Q178316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725210$43F2D450-027E-4BCB-9DE3-2A948CA32058","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0244087903704e4a276fbe0513e9be9d96fe367","datavalue":{"value":{"time":"+2002-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2725210$BE836AF7-9278-4263-80B7-B0044BC7FE9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6965204df8aa209777bcea77aa301c94426925b1","datavalue":{"value":"52A01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725210$6A6A00A9-B17B-4F3C-99BC-C5B9807F6DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725210$AE3DC955-243B-479F-81BD-69FAF631C28A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9c24a3f166d894472ee6ebb31fea8e893795898","datavalue":{"value":"1618988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2725210$046AD8D9-9972-4BCA-B80B-89BE2D0381B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b52b86216e0a71e0a08005098c08929c6df2a2c9","datavalue":{"value":"convexity space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725210$9BB81137-BCA5-4EA2-9226-C84DAF8DA831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc8ddc8779a2db73d5229b8fc7015bd772b1dd37","datavalue":{"value":"convexity preserving map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725210$404C1D5C-D538-4EB8-A1DB-EE5098DA474A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd3d808871bec0d813060edc60b0f93ee9cf5336","datavalue":{"value":"complete Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725210$0E40A91E-4A44-4953-9AAA-62BC9985D76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd960e12b04a3e02eb130bb102eaa91d61c8504","datavalue":{"value":"convexity absolute extensor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725210$56EE935E-61E3-4428-96AF-F494E647FF15","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":"Q2725210$E52149FD-521B-4660-BE5C-8A895B600D96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2edf31f35e45ac32091aa52be4e501408449c2bc","datavalue":{"value":{"text":"A characterization of complete Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2725210$9138A6D0-A07A-4027-A6C5-46435A2CFEA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51552ab9024ca30b1bb362d60258ac8ad38a0886","datavalue":{"value":{"entity-type":"item","numeric-id":6643757,"id":"Q6643757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725210$E9499DDE-6EAB-4380-B809-4A29B26DEF87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd19effda8071b2974d6f66878cceccfef0af598","datavalue":{"value":"A convexity space is a set \\(X\\) endowed with a collection \\(\\mathcal C\\subset\\mathcal P(X)\\) containing \\(\\emptyset\\), \\(X\\), closed under arbitrary intersections and closed under the unions of chains. Elements of the collection \\(\\mathcal C\\) are called convex subsets of \\(X\\). A convexity space \\(X\\) is \\(S_4\\) provided any two disjoint convex sets \\(A,B\\subset X\\) can be separated by a halfspace (i.e. a convex set with convex complement) \\(H\\subset X\\) in the sense that \\(A\\subset H\\) and \\(B\\subset X\\setminus H\\). A convexity space \\(X\\) is \\(S_3\\) if any one-point subset of \\(X\\) is convex and any convex subset \\(A\\subset X\\) can be separated from any point \\(x\\in X\\setminus A\\) by a halfspace. NEWLINENEWLINENEWLINEThe main result of the paper states that an \\(S_3\\) convexity space \\(X\\) is isomorphic to a complete Boolean algebra (endowed with the natural convexity structure) if and only if \\(X\\) has the following extension property: every convexity preserving map \\(f:B\\to X\\) defined on a convex subset \\(B\\) of an \\(S_4\\) convexity space \\(A\\) can be extended to a convexity preserving map \\(\\overline f:A\\to X\\). (A map \\(f:X\\to Y\\) between convexity spaces is called convexity preserving if the preimage \\(f^{-1}(C)\\) of any convex subset \\(C\\subset Y\\) is convex in \\(X\\).) NEWLINENEWLINENEWLINEAs a corollary the author obtains a classical extension theorem of Sikorski asserting that any homomorphism \\(h:K\\to B\\) from a sublattice \\(K\\) of a distributive lattice \\(L\\) into a complete Boolean algebra \\(B\\) can be extended to a homomorphism \\(\\overline h:L\\to B\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2725210$A5ABB16E-90B2-4C29-B441-53B357125068","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10b95b16dd7989ad59b812a89375da65613b6b1b","datavalue":{"value":{"entity-type":"item","numeric-id":171175,"id":"Q171175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2725210$9A71CDB5-A428-4E6D-B670-901E52B06A65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07e20592658bbaeec6ba5448715eb9ee9bfdb75","datavalue":{"value":{"entity-type":"item","numeric-id":4954123,"id":"Q4954123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8875c0a9429345c0fe4e3026570521fd8722eba5","datavalue":{"value":{"amount":"+0.8702661395072937","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":"Q2725210$DDE52CBE-B3D6-43D8-A52C-006734951FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfa6a17d68117a179349db0330da16e802836a4","datavalue":{"value":{"entity-type":"item","numeric-id":4524526,"id":"Q4524526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8875c0a9429345c0fe4e3026570521fd8722eba5","datavalue":{"value":{"amount":"+0.8702661395072937","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":"Q2725210$A77D40A9-0379-47B9-AE06-8FDA5D23EE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d409539f7123c5bfbfe822da173acd5ad5e05c43","datavalue":{"value":{"entity-type":"item","numeric-id":2774511,"id":"Q2774511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e5d1e72b2f07b11b88dea074f995f5f6e6a43e","datavalue":{"value":{"amount":"+0.7408666014671326","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":"Q2725210$7C38484E-1E5F-46B3-9D15-1913356378D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b5043dca04a5c49d2c856eda0d2b8d1b63f936","datavalue":{"value":{"entity-type":"item","numeric-id":3393102,"id":"Q3393102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e5d1e72b2f07b11b88dea074f995f5f6e6a43e","datavalue":{"value":{"amount":"+0.7408666014671326","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":"Q2725210$34CCA7BC-E776-4031-BF92-FB0003651EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f30561314358b0bf1ea45a36dc83aa76e7862c","datavalue":{"value":{"entity-type":"item","numeric-id":3201054,"id":"Q3201054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d6f089247adc0ae0f425ff16073733d67ac051","datavalue":{"value":{"amount":"+0.7340627908706665","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":"Q2725210$3410E7BE-1C88-4C1E-A179-B343262817C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of complete Boolean algebras","badges":[]}}}}}