{"entities":{"Q1344872":{"pageid":1355611,"ns":120,"title":"Item:Q1344872","lastrevid":68515674,"modified":"2026-04-13T00:13:57Z","type":"item","id":"Q1344872","labels":{"en":{"language":"en","value":"Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724129"}},"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":"Q1344872$1A44FB1F-00D4-43CF-8F1D-D62EEC5D02D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c1617436460698fde8c446f6ad2b94384f96570","datavalue":{"value":{"text":"Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344872$691B5B44-AC0D-4254-82CB-E3DFE71B55A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35428e5772eb679b3a7caeb2a564bbad02e02e76","datavalue":{"value":"0823.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344872$E4DFB617-8FA1-41C9-9749-B6E4F3788290","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a89ed037226481852cfb1f14205f05d89c45a107","datavalue":{"value":"10.1007/BF01058532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344872$3D8D01FD-679E-4C9E-959F-A9900FA76D12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f6a8e79876d53be79377b2bab6c14057cb3235","datavalue":{"value":{"entity-type":"item","numeric-id":676175,"id":"Q676175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$C322F673-1894-4B97-80CE-5EAD8F937B78","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":"Q1344872$0EAA482F-6AA7-47C7-BA7E-53F7FE9A2E68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$3CEB0E2D-8797-4BB4-B3AC-3C7275325F33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344872$6A8DF7CF-1697-468E-8878-894AD7F860B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d72217750768adb05cfeba1fb5393c90f601db2f","datavalue":{"value":"Sahlqvist's Theorem for modal logic is generalized to Boolean algebras with operators. A class of identities for Boolean algebra with operators is described, called the Sahlqvist identities. Sahlqvist's Theorem in this general setting states that (1) each Sahlqvist identity has a ``first-order translation'', i.e., a first-order sentence that holds in a relational structure if and only if the identity holds in the complex algebra of that structure, and (2) each Sahlqvist identity holds in a Boolean algebra with operators if and only if it holds in the perfect (or canonical) extension of that algebra. The application to cylindric algebras, mentioned in the title, is a proof that a certain identity, due to Henkin, is equivalent to another identity. The proof proceeds by arguing in the atom structure of the perfect extension of any algebra that satisfies one (or the other) identity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344872$537C554A-6E20-4BDD-AE03-CB63B18BFF1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344872$2A1949B6-D7DF-4E67-8422-7CE72AE8D310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344872$1FD47025-33AC-4E38-B99A-AADCF439B588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344872$621F752F-0B2C-4E92-B55F-8CB8A1FF6480","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac38b7e7e8af6359b4f577af3909e2e9ec273166","datavalue":{"value":"724129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344872$33310727-5654-4EC8-A13E-57D599D7C0D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55d5b0c13aee5a1e85406cd11033c11d6fe063cd","datavalue":{"value":"Sahlqvist's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344872$AD1194CA-87D9-4023-9862-AE2141B3D1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d88644fd15a569d108dc33e7f4ccd61bb29b2a6","datavalue":{"value":"Boolean algebras with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344872$BA0E3085-6AD1-40F1-9E75-BE8DAED600C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84f3fe0f6ee6a4b4999acc7e7a0dddf23e63903f","datavalue":{"value":"Sahlqvist identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344872$F9C94EDE-7C83-4D7F-84D0-D9D14CCF0CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344872$CC914E6E-7E24-491E-8744-21903F4A96F8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"042c8aa768666ba25bf6e8d6cb402290a13f8333","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$36469CA5-0BB2-4E77-AC42-88565EE53D2C","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":"Q1344872$BA5A966E-749F-40A8-88A8-815B34CB48A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e38d8bc275ed304f9228a4be19100aa0f936cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3487342,"id":"Q3487342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$878944E4-3B07-46D2-803C-F36F55A64575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2b2b4b4f1a92baf1f6a56d683fcf7f04e7ec66","datavalue":{"value":{"entity-type":"item","numeric-id":3318752,"id":"Q3318752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$560A7ECD-6F82-4C70-B092-3038B0E1EBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$5211BF58-2207-4449-AE25-AE35E0190389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4d20630b0bd7dc58b969242e7c24eca5d6be14","datavalue":{"value":{"entity-type":"item","numeric-id":3984429,"id":"Q3984429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$558BD867-F641-4DC2-9914-AD7145086BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70649ef0e07c9eb5bcbf6063aab2a39269cb26cb","datavalue":{"value":{"entity-type":"item","numeric-id":4011717,"id":"Q4011717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$C99CA814-D7D9-4B7F-8B8F-366CE7EEA8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e563ecb24aea28ec0bb663d47f8c7dca59774a55","datavalue":{"value":{"entity-type":"item","numeric-id":2546520,"id":"Q2546520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$BE90F967-9121-4333-B3C0-DF965588C0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$A193B8A4-0033-4B63-BACD-1B0B1575DEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$B2B3C643-59C1-40A3-98BF-DBBC8C553BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$A32E8D2E-8EC9-4AE5-BF15-C2E525C626D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56a3dd01c8b6900f334f9840cdcfd260af63be5","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$D41E5975-EAC8-46BC-9CEA-82BD9D5E7366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85be03f55bdb3c7c30c7fdf17ccfd2235ddf6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1344872,"id":"Q1344872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$F033963F-D20D-44DC-AA8D-4B65BC905FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$67C5EF2D-1976-4833-9118-588ABC8D8EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344872$7C06C8B8-6FC2-466A-B357-94EA0327891D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"930654b98e5e7a71fe3eaf25a12256e46cc7001b","datavalue":{"value":"https://doi.org/10.1007/bf01058532","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344872$B97C2E27-A87B-4D64-9C8B-CE1F6EAED6A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc5e87bf41dd7e9e6e7957bc736d896f593873cc","datavalue":{"value":"W2033136385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344872$F469DFA1-6FF1-4A68-A478-8ACCCA256271","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":"b09fbba871fee2ef7d8ae51698e89c1c5b44c641","datavalue":{"value":{"amount":"+0.7995489835739136","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":"Q1344872$B1DA82BF-202F-4988-9AAB-618CD6DE60A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224faf7099138504bcb8e26fd47bfc27e912f6ff","datavalue":{"value":{"entity-type":"item","numeric-id":1338478,"id":"Q1338478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf0567582331f8ecfe65e556ab798d45ee9e921","datavalue":{"value":{"amount":"+0.799548864364624","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":"Q1344872$75C2DBEE-C172-4609-BF38-21353863113C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2153d65fc2a4ae09b6f6d23ae06f9a61dfb9fd","datavalue":{"value":{"entity-type":"item","numeric-id":1272149,"id":"Q1272149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0398b24df10cddd4dca75015042f79d4795e2d","datavalue":{"value":{"amount":"+0.7597890496253967","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":"Q1344872$70F29175-7562-4EAF-87C6-90499AB95565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040d222bc58141501ebefad850937161900ab691","datavalue":{"value":{"entity-type":"item","numeric-id":5932468,"id":"Q5932468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23575e12ba8d3d5d32e315e0f21d5c9988ba635d","datavalue":{"value":{"amount":"+0.7580487132072449","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":"Q1344872$969B5059-9CEB-4DC6-B6EC-CFE68F0D5C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2a2f5c505164bd6836dfd7e2d113fbbaa28ace","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a2556d88fc5448e3cb6b3a1f29104d6c7882f6","datavalue":{"value":{"amount":"+0.7547988891601562","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":"Q1344872$D40C5F14-D4ED-4624-88FD-14AAD6829704","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sahlqvist%27s_theorem_for_Boolean_algebras_with_operators_with_an_application_to_cylindric_algebras"}}}}}