{"entities":{"Q1272149":{"pageid":1282899,"ns":120,"title":"Item:Q1272149","lastrevid":70043571,"modified":"2026-04-13T12:03:32Z","type":"item","id":"Q1272149","labels":{"en":{"language":"en","value":"Atom structures and Sahlqvist equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226235"}},"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":"Q1272149$783FA43B-E449-4196-8253-40E4951FA0CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c235b4f297266430d1dcb9165f216f63d1a4ebed","datavalue":{"value":{"text":"Atom structures and Sahlqvist equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272149$475018AB-3EE6-4949-88F3-EFD80B031E5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e74b55f4b5ffefecba8d64e6d74829ad9916cc43","datavalue":{"value":"0913.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272149$05FF9036-2C45-4FE8-92B0-FCF3CFAAB923","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":"Q1272149$5C534CCC-EE7E-425C-B4FA-92840D4F303E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fb7273221ce117f6a427df8be22cfe791bdb36","datavalue":{"value":{"time":"+1998-11-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":"Q1272149$CDD4AD91-BCAA-4A2F-BA2D-DA67271E52A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"77af39b9e68f6bef1a09c5e9647fd2c26a11fa9b","datavalue":{"value":"Given an atomic boolean algebra with operators \\(A\\), denote by \\(\\text{At}A\\) the set of atoms of \\(A\\). For every \\(n\\)-ary operator \\(f\\) on \\(A\\) we define the \\((n+1)\\)-ary relation \\(R_f\\) on \\(\\text{At}A\\) as follows:  \\[  R_fab_1\\ldots b_n \\quad \\text{iff} \\quad a \\leq f(b_1,\\ldots ,b_n).  \\]  The atom structure of \\(A\\) is \\({\\mathfrak {At}}A= (\\text{At}A; R_{f_i})_{i\\in I}\\). Given a class \\(K\\) of boolean algebras with operators, define \\(\\text{At} K\\) as the set of all atom structures of atomic algebras of \\(K\\) and by \\(\\text{Cm} K\\) the class of all complex algebras (i.e.\\ power set algebras) of \\(K\\). A Sahlqvist equation is of the form \\(s\\leq t\\), where \\(s\\) is an untied term and \\(t\\) is a positive term.    Theorem 1. Let \\(A,B\\) be atomic conjugated boolean algebras with operators such that \\({\\mathfrak {At}} A\\cong {\\mathfrak {At}} B\\). Then for every Sahlqvist equation \\(\\eta : A\\models \\eta \\) iff \\(B \\models \\eta \\).    Corollary 2. Let \\(V\\) be a conjugated Sahlqvist variety of boolean algebras with operators. Then \\(V = \\text{S Cm At} V\\).    Corollary 3. The variety of all representable relation algebras cannot be axiomatized by Sahlqvist equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272149$D5ECFF40-650A-4EB0-95AB-F01CB3E99178","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272149$31C7C155-87DF-4706-932A-8B1B5F4B9C1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272149$E9353DC6-589C-473F-9372-8F65C8E080DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272149$F630CA52-464C-41D3-8734-FA15456BC693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272149$992DF635-9AFA-439B-9B63-558496DC7FA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9392f50036dce196cf88e7564a5003855c4a00c1","datavalue":{"value":"1226235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272149$BA455CA0-1DDA-4FD8-9A4A-9926DF66E9A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272149$7CDD091C-DB94-40C4-860E-90BB0B7304EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5411a910adffc3fefa07863d05316668469354d5","datavalue":{"value":"boolean algebra with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272149$35A40684-FD9C-4D14-AD3E-8423B7DBE6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3253d88004ea65d72e80c9f083c02c344c3b5c6","datavalue":{"value":"Sahlqvist equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272149$BD7E3DAB-5951-4AD1-962F-E6AF59B5CD98","rank":"normal"}],"P16":[{"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":"Q1272149$CFB7ED47-792F-442C-911C-99D204356083","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":"Q1272149$03C997CB-9F74-4494-A982-61DC9F5D49E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05d86beda85fe649dff999eec78f22a2adacbf7b","datavalue":{"value":"https://doi.org/10.1007/s000120050047","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272149$CAD46A52-3202-4BAB-9D93-925B7D63805E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"842f1a93cfc268612cd791c17aab413685b7a753","datavalue":{"value":"W2032543872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272149$6BCBE782-7852-4667-9C7B-3430F960A0C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fda8f3b5e98b9257dd82ff4cae12f74b2f8e85e4","datavalue":{"value":"10.1007/S000120050047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272149$D25DF351-637C-4D73-BC82-909135965D65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698e53a2f5f4defa9bd96e87f25b7875c926a153","datavalue":{"value":{"entity-type":"item","numeric-id":4215609,"id":"Q4215609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68425d4a8ae9a3e462811f71dd9b2f7a71c27228","datavalue":{"value":{"amount":"+0.8313286900520325","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":"Q1272149$624DC0E2-478A-4715-80C3-6117F2C912B4","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":"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":"Q1272149$84D4154A-308F-4D0E-AA3B-52642164ED74","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":"00dfa91caed579e137d7ff95c63efd5376c569b2","datavalue":{"value":{"amount":"+0.7428609132766724","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":"Q1272149$5395D168-333A-4B6A-84F6-7F3B2A6BD849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"744927ddb44cf08db07a2765ecf63228bc919938","datavalue":{"value":{"entity-type":"item","numeric-id":1906001,"id":"Q1906001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4d45a4bc4a4ec874b7d1b11783cca9a5d6b945","datavalue":{"value":{"amount":"+0.7365478873252869","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":"Q1272149$3B404F39-D382-4C77-80E5-7DC485EDB347","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Atom structures and Sahlqvist equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Atom_structures_and_Sahlqvist_equations"}}}}}