{"entities":{"Q921027":{"pageid":922875,"ns":120,"title":"Item:Q921027","lastrevid":65397453,"modified":"2026-04-12T02:18:59Z","type":"item","id":"Q921027","labels":{"en":{"language":"en","value":"B-varieties with normal free algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164929"}},"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":"Q921027$E3A3CF58-1A30-47FA-A8B6-2AF8CDB64139","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"017270c970b353153778b368bb928e6115bb6f9b","datavalue":{"value":{"text":"B-varieties with normal free algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q921027$6487715D-EAA6-41F5-8FED-B2DFA7F6EEEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b685b9d062e7c6c5a6c403b516d7fa77e75932cb","datavalue":{"value":"0709.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921027$3A879868-F21B-4DD0-819C-498FF9D17EE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ee19e630f1e483f1be430f72c6f915f8c8960b5","datavalue":{"value":"10.1007/BF00370207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921027$4A3AD1D1-DC5C-413A-899F-2ADC11E722B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f8c18d22a091b6209bafafffcac865f394021eb","datavalue":{"value":{"entity-type":"item","numeric-id":921026,"id":"Q921026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921027$CDD2D5CF-0096-4041-A577-A5DACA8F5EA5","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":"Q921027$1F152848-F66F-4464-9BE7-538F7B867156","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q921027$055DEA2C-8993-4F12-BE2A-295C1448C9D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"634d60504be4021d3f042bd4ec1660add4eec9da","datavalue":{"value":"The author continues his studies of so-called B-algebras [see: Demonstr. Math. 15, 189-206 (1982; Zbl 0504.03024); Stud. Logica 42, 389-405 (1983; Zbl 0588.06007); Stud. Logica 45, 167-179 (1986; Zbl 0619.03041)].    Basically, a B-algebra abstracts the description of a topological Boolean algebra in terms of the binary operation \\(a\\circ b:=int((a\\cap b)\\cup (- a\\cap -b))\\) given by \\textit{J. Kagan} [Z. Math. Logik Grundlagen Math. 18, 103-106 (1972; Zbl 0246.02045)]. Here, the present author studies varieties of such algebras axiomatizedby \\(SCI_ B\\)-equations (an acronym for the Boolean strengthening of Sentential Calculus with Identity) and proves - among other things - that the free Lindenbaum-Tarski algebra in such a variety is normal provided the generalization to B-algebras of a theorem by McKinsey and Tarski for topological Boolean algebras holds in that variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q921027$B9FF4807-C300-4EC8-BF96-7B1EFBC33DED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921027$BA6F6396-1336-4659-B941-C24CD4D4FA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921027$8CAD9837-BB63-4D1E-8C26-47C78642CA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921027$4201902B-EFFA-4AB9-B40B-4F35B0E8AE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921027$F3D6080E-1A5C-43BA-B454-3597D808D65E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3b774438fbed3adaacdc4fee93ac4e679571402","datavalue":{"value":"4164929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921027$51937B90-E852-4A16-9111-77CBB876B1E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q921027$36FCA34C-4012-415F-ACEC-2B69E4CE536E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q921027$7A52CA68-531C-480C-B433-6E44F983D495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78fd8771ff1c061bcfd9c9316bf3eba2461e4e0b","datavalue":{"value":"Boolean algebras with an additional binary operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q921027$8D4D6EC4-A799-4589-8A9D-8BC8292B5416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f099d779ea06bda36152581128199e095889f06","datavalue":{"value":"B-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q921027$88D9DB99-66E7-4793-9513-AD2211E739AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71d90758b41541179c6641b993d54457776d84a","datavalue":{"value":"Boolean strengthening of Sentential Calculus with Identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q921027$89B02A14-1CDC-4069-B9E6-346A43E5B93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c999d35ed5f5cf8d599b2027c840240936b1b694","datavalue":{"value":"free Lindenbaum-Tarski algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q921027$9627FD84-735F-40F5-86F5-BBEBEA5F7774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc8a496f940ae640f6375167a0d56259b7758d8","datavalue":{"value":"topological Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q921027$94D8297F-516C-477A-9D2B-4E881A5BEEF4","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":"Q921027$01A36E93-355F-4C03-BD89-74D71D901F9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b0b5b65a8e99935b368de164745b039372fb1b7","datavalue":{"value":{"entity-type":"item","numeric-id":5658095,"id":"Q5658095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921027$7DFC3F7F-F596-4C98-836D-4805308D9E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921027$DBD572D8-D1B3-477D-A61C-7C28F23E8E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921027$5FEB8830-8B53-4F63-A0AF-1064E8292FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a482abfa521287f9cdd1de5d301bba8230a83e6","datavalue":{"value":{"entity-type":"item","numeric-id":4065517,"id":"Q4065517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921027$00F53374-3E12-4F02-8A49-081F3A4AB282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fcd163bc5e87facd3cfcdc7bb5cd7ff170cb1a9","datavalue":{"value":{"entity-type":"item","numeric-id":4049059,"id":"Q4049059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921027$A7606A5E-8EB3-4A39-8981-27C0C35E45B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3d68747dc9efe0e8c915faadf5abc22850d31e","datavalue":{"value":{"entity-type":"item","numeric-id":1073056,"id":"Q1073056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921027$E33309C9-155D-4E92-892B-80C12ED2A5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e6b81aa5a46f892b850bd9f3fb351c76e9e87c","datavalue":{"value":{"entity-type":"item","numeric-id":1089335,"id":"Q1089335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921027$1F7BE812-B090-49F8-880F-DA703288C7EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"972df99c291681238df6a82ec412157ef488c59c","datavalue":{"value":"https://doi.org/10.1007/bf00370207","type":"string"},"datatype":"url"},"type":"statement","id":"Q921027$4471C193-8541-4EFD-BB32-764F86DE4C59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e058a699845a038df0059d68740c0ed90c43a165","datavalue":{"value":"W195516003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921027$58705651-13D5-487C-9213-44D621A4323D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1c98ea5e3cb04c9f686a86c514f3a4b01cc599","datavalue":{"value":{"entity-type":"item","numeric-id":1089335,"id":"Q1089335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455eabb6be15a665c768e3cf0eb83db3dd4e29c3","datavalue":{"value":{"amount":"+0.8167344927787781","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":"Q921027$F6BDCFA7-54F0-40D2-A9A8-CB5BB10B085E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442c861a805b81e171c208c33dfb4a0ff9b15047","datavalue":{"value":{"entity-type":"item","numeric-id":1073056,"id":"Q1073056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a01142ded395bea9d9d38413c23e3d4259c1359","datavalue":{"value":{"amount":"+0.7508456110954285","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":"Q921027$42DF0FF7-DB86-46E8-B37B-34E8F47A4D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6170ad0d59ad0cbe6872a6029d5a487490537f","datavalue":{"value":{"entity-type":"item","numeric-id":5480467,"id":"Q5480467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f1d68008e5119993348d8bae84e20354714ffa","datavalue":{"value":{"amount":"+0.7474380731582642","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":"Q921027$0F089FF1-C857-479E-B46A-1E9FC319FE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862ae72b5a8a2001283de21d3f6dfeee4f9fb581","datavalue":{"value":{"entity-type":"item","numeric-id":3749048,"id":"Q3749048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce91befc0976bbb7c9c8cb72cc36e3a150616912","datavalue":{"value":{"amount":"+0.7466142177581787","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":"Q921027$68E105FC-0096-49D5-A76D-AB39695103D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23cb8008859fd47b6d5d34a5f4009b0d42d2291","datavalue":{"value":{"entity-type":"item","numeric-id":1771935,"id":"Q1771935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2da6810a5cec2b500429ac25370acaf68323d3","datavalue":{"value":{"amount":"+0.7422490119934082","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":"Q921027$4036207E-E704-421B-A98A-5CBC14AA8115","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"B-varieties with normal free algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/B-varieties_with_normal_free_algebras"}}}}}