{"entities":{"Q5932468":{"pageid":8109270,"ns":120,"title":"Item:Q5932468","lastrevid":47618089,"modified":"2026-01-02T05:49:06Z","type":"item","id":"Q5932468","labels":{"en":{"language":"en","value":"The preservation of Sahlqvist equations in completions of Boolean algebras with operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602874"}},"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":"Q5932468$14B87E20-3DC5-4A2A-B271-8C33CA0BD94A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fd37746b7ee31b65c6219bb3afc55b01d707da2","datavalue":{"value":{"text":"The preservation of Sahlqvist equations in completions of Boolean algebras with operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932468$5E0C8AE7-648D-4D1D-8D18-FCDC8CDDDCFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2baf959e5bbd2ac675e4e9184cd201855a74f00e","datavalue":{"value":"0964.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932468$646E0C18-E029-4AA9-99C8-281333A8E9F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7df76a521f110f0d7e81939ad3df60ac67ebebc","datavalue":{"value":{"entity-type":"item","numeric-id":800350,"id":"Q800350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932468$71DDEE8F-B03C-412B-8F6A-287C74787D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932468$03C8FDC8-5EB9-4B8E-8F18-27E774801184","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932468$C808C1D3-4A27-4BF7-9300-482A119247E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932468$6F5E3CF0-88BC-48D3-80D1-8C2189C7A8B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eca3e8c4e3c4c52c66239b79b5e440e7596de351","datavalue":{"value":"J\u00f3nsson and Tarski extended the theory of canonical extensions of Boolean algebras to Boolean algebras with additional operators that are additive in each coordinate, the so called Boolean algebras with operators. They showed that every Boolean algebra with operators \\(\\mathcal A\\) has a canonical extension \\(\\mathcal B\\) that is unique up to isomorphisms over \\(\\mathcal A\\). Moreover, they also proved that every strictly positive equation (that is equation in which the complementation symbol does not occur) which holds in \\(\\mathcal A\\) must hold in \\(\\mathcal B\\), or, that strictly positive equations are preserved under the passage to the canonical extension.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932468$9E231B14-4C45-418F-AC4E-A1DEC59A7176","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932468$B7C00211-28BC-4D17-A855-B14F60F00899","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932468$37B52781-1642-417C-B08A-F5EBE54624EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932468$1CC04A26-A911-45A7-9AC0-60DEB96C0877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932468$5C5D23F4-B5A4-4008-977A-D9DFE0886DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932468$99954E4E-C374-4694-A262-AD0749DA9028","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"771a6211f8e403572b98c56fbebf066a8401287c","datavalue":{"value":"1602874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932468$01DBC98C-BA7F-4C92-BAD4-636E6F41EBDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932468$ECD23C7A-6D8D-4721-BC80-B64E8821B215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b5027d173f613cebff877b9988033e107c7c3f","datavalue":{"value":"operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932468$83FB4760-DE63-428F-A255-5CD394A7F0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27469e96df2a0f1bdfb5c9119732170cd3f39c54","datavalue":{"value":"equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932468$51DF4468-8B9A-445A-A767-996A5E1EA7C6","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":"Q5932468$F83C31B3-AEDB-4200-A07F-CDF477948616","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6f751401ab532a290ab83f0be3def6bd7a7a252","datavalue":{"value":"https://doi.org/10.1007/s000120050100","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932468$766D6AB1-E2BA-44C5-A952-7DD02318E8D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0df14f9705aa4e016e10d9be9ffce839536b87c","datavalue":{"value":"W2137401798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932468$CC5D09FA-872E-467E-A036-4B908F87A1B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2bd3d5047a8122b9ecb016082811d566c603de6","datavalue":{"value":"10.1007/S000120050100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932468$DE2C2091-6473-4AAF-9B37-F9258576EB43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535111736a797095479fd198544880179d5d43e7","datavalue":{"value":{"entity-type":"item","numeric-id":4849832,"id":"Q4849832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f38bb2111296b3f5b5b3ec68b40977b4345084a","datavalue":{"value":{"amount":"+0.8947158455848694","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":"Q5932468$94F440DF-7A4B-4B11-AB75-750F6C7258F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64477a47a1ee9ecc3be2b99de287988ce1c2d49","datavalue":{"value":{"entity-type":"item","numeric-id":1646613,"id":"Q1646613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb736b609e94a23c9dcdf9f8efffb76610708c9","datavalue":{"value":{"amount":"+0.894715428352356","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":"Q5932468$996B3F43-D023-432C-9C4A-81CE1FB16B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7947200071e067cdf2ac9395d0e42456a5b6e7","datavalue":{"value":{"entity-type":"item","numeric-id":1762482,"id":"Q1762482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130680c64015047654bd709583af315666f38178","datavalue":{"value":{"amount":"+0.8373461365699768","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":"Q5932468$893FAFA3-FF60-498A-8420-2ADD26FEB56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd374c3ba9188422351b77615d9b6273a49c16b","datavalue":{"value":{"entity-type":"item","numeric-id":1800462,"id":"Q1800462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2e16cebd421bf633a54b83e0c53af872f133bd","datavalue":{"value":{"amount":"+0.8042635321617126","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":"Q5932468$A2E3C342-78CB-4100-8A21-9B71A4325A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8478de5b4e1ac60265fd659d210a47d0ca6cf0da","datavalue":{"value":{"entity-type":"item","numeric-id":1344872,"id":"Q1344872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97942f55c552da6504ba4eacb03aa9aa1fa28a3f","datavalue":{"value":{"amount":"+0.7394245266914368","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":"Q5932468$617F36FC-A21A-41CF-A6C6-CC8CDF256D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5932468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5932468"}}}}}