{"entities":{"Q1089019":{"pageid":1099771,"ns":120,"title":"Item:Q1089019","lastrevid":69938640,"modified":"2026-04-13T11:21:23Z","type":"item","id":"Q1089019","labels":{"en":{"language":"en","value":"Algebras with Boolean and Stonean congruence lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4002155"}},"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":"Q1089019$7AE91E0C-AC8F-4E84-946F-368EC9E241DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9f986508d5e364a57600425558231640829bea9","datavalue":{"value":{"text":"Algebras with Boolean and Stonean congruence lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089019$F969DA0C-6812-4B06-8959-7C8E457F1E02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8217af40a13ccb79efd3fb2e8fab0795414bb96f","datavalue":{"value":"0618.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089019$02318879-A223-4281-AA8C-1F73F0508A5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"022cf04797389e224342392546ed59022c8a17e9","datavalue":{"value":"10.1007/BF01951357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089019$D092925B-6DFD-4EF2-A8DD-F60693B4251E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$803B9C84-3EDA-49C1-A350-EA0EC90D7B5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1089019$5F6B48B8-3F7C-4334-B230-4A30DFE00C45","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04d8273e475c8715a6ddcfaf1b40779353ed7e58","datavalue":{"value":"There is a large literature on when the lattice con(A) of congruence relations on a finitary algebra A is atomic, a Boolean algebra, or a Stone lattice. The lattice con(A) is always algebraic, that is, complete and compactly generated. The authors consider cases where it is also distributive and hence pseudocomplemented. A Stone lattice is a distributive pseudocomplemented lattice satisfying the identity \\((a\\wedge b)^*=a^*\\vee b^*.\\)    In 11 theorems the authors extend many of the known results on con(A) to larger classes of algebras. Their chief new concept is that of an algebra with a strong center. The center C(L) of a lattice L consists of the complemented, distributive elements of L, and is a Boolean algebra. An algebra A which is a lattice has a strong center if all the operations of A are center-preserving. They give various conditions on an algebra A that con(A) be atomic, a Boolean algebra, or a Stone lattice.    An example of the authors' theorems is: If con(A) is distributive, then it is a Boolean lattice if and only if (i) A has a subdirect factorization with simple factors, and (ii) con(A) is an atomic completely Stonean lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089019$C1055ECE-231D-454D-B658-AAF2B16F1ADA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089019$9F2F1F18-33AC-4047-977B-52BADE865715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089019$F637745E-ACA5-4091-A2FD-264CE5961E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089019$855EA9BE-5B9E-4F41-B907-3A931D61A69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089019$3D500BB0-94F3-407F-B5E3-221D44915914","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68d0bdc7dbea9d79e766feb2170bdad5a333051c","datavalue":{"value":"4002155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089019$FA4EDD9B-424A-497D-95FE-92F9CBE39A87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ae9e432f24c5a4402f1e5006d93c7e17705455","datavalue":{"value":"lattice of congruence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089019$5F40D7BB-B8AC-418E-AF9F-7D65B9B4B911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6713eea2825597bef69d7ac2f56f7d577962d41a","datavalue":{"value":"finitary algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089019$BE403232-0F05-4239-8E8D-0A2288237533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089019$ECCFABD7-3366-41CD-BDB0-34FE0D1D585A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac3c2ad0fc4c3cb00d7475f665b259205021c3a3","datavalue":{"value":"Stone lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089019$38FAD86B-EE83-42D3-A93F-B82DE66DE646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc261a69e647596197631d8087368f7f5b43aa3","datavalue":{"value":"distributive pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089019$87AA06A1-5C87-4FA6-AA87-6A9168F58873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42ab19c7c07d8dcc7754d746c4f6a2347ebb5595","datavalue":{"value":"strong center","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089019$754E9D7D-D286-44E2-9ACB-F3975E7CB7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18180d0c949169cf116634ea07b285c379572b43","datavalue":{"value":"complemented, distributive elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089019$CB657212-FD04-45BE-B0BD-557F63272C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"581736ac84e34abdb80ff262e16454e3502eef6b","datavalue":{"value":"atomic completely Stonean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089019$D123C088-0A68-4337-8C9E-8C562D7CB2E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55bc96d0d67197cb5499bbb5a076e104d4a8e44","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$31FECB51-2420-40DB-852A-9BCD895B3C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"453abc918af2ab932da18c41df46897e80ecc768","datavalue":{"value":{"entity-type":"item","numeric-id":2047229,"id":"Q2047229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$A7CDFD0B-66C0-4244-8E0F-14E964AC75AD","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":"Q1089019$1618132A-7F0C-4D2D-A93B-5372A01EFA9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb6133835245f5d43133cae63f0384b8e24a584","datavalue":{"value":{"entity-type":"item","numeric-id":1236126,"id":"Q1236126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$7DFFCD2E-4A04-4886-A004-87E12105013E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f43b6a5dda35b6357984aaca3f3b556f216e59f","datavalue":{"value":{"entity-type":"item","numeric-id":4170768,"id":"Q4170768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$FA11503C-EAC8-4474-B82B-7C595F4CC6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a64d84bab10d9c664f80de360dcefad336ea111","datavalue":{"value":{"entity-type":"item","numeric-id":599071,"id":"Q599071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$CB1B1701-DECB-461E-8A06-C33FE8F970A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7980998c93362fff7ab8771c90e55ea49d3e67a","datavalue":{"value":{"entity-type":"item","numeric-id":1846444,"id":"Q1846444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$F63CC55D-10BA-4F16-81F5-C2116182C10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9a4c62ade39990ca00b7ef7285e3e3f76c0690","datavalue":{"value":{"entity-type":"item","numeric-id":772243,"id":"Q772243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$2E31C34E-B9F0-4450-853B-C3CE67F795AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$F27FE42B-2A4A-4703-BE41-28CE79F04957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf0f7788ffbf25f9aa0e7616bfbd26d51431de3","datavalue":{"value":{"entity-type":"item","numeric-id":5650437,"id":"Q5650437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$5C6B46F4-B79C-43FC-BE86-6F5EFD4AAF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd5df3b1d75c513225fd51cd3923e2a4cb48b88","datavalue":{"value":{"entity-type":"item","numeric-id":2625269,"id":"Q2625269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$06E4DFCD-EEE0-44D2-8802-0D4A75BB4477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708edf481f5504c3c7a1bbe0ce2035ee105089c","datavalue":{"value":{"entity-type":"item","numeric-id":3875978,"id":"Q3875978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$D30AAF2A-3C84-4968-97BF-0BCF8A1C3C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2a64f08444b2aec169ebc6eaf4138f8d1a1271","datavalue":{"value":{"entity-type":"item","numeric-id":3254362,"id":"Q3254362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$1CB34ADF-0BA4-4F35-B178-61333F509528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6dfb0e8b326e6ca7a30f9054746cbbeb803b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3243317,"id":"Q3243317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$CA2E7CEB-8BC6-4AE0-8DC5-CCF709EBC832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb6789421a66c3a023313a9884373d524f23521","datavalue":{"value":{"entity-type":"item","numeric-id":5622232,"id":"Q5622232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$96E9F34E-ABAB-4758-A554-516353C30CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0ef4c213e9c323dbcdf7247e2575cb2465f640","datavalue":{"value":{"entity-type":"item","numeric-id":4092001,"id":"Q4092001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$C147A2B2-22ED-4FE1-B662-15F4FC010F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1fc79b572e2b723a8038f082fbbc47998db8f9d","datavalue":{"value":{"entity-type":"item","numeric-id":1243284,"id":"Q1243284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$1C0C396E-D164-4460-897B-BA7828AE6AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac032de799ed6c8c16305737bc9ec62a2ce312af","datavalue":{"value":{"entity-type":"item","numeric-id":1393260,"id":"Q1393260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$93586C48-D94D-4EB2-88C3-07AC4DE0EA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b871b7fdcbdbbfea9e34c88c71636b9ed00ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5336342,"id":"Q5336342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$4B227131-A878-4CD9-8152-27191E4668B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a978fb3062f549811025f906bea15a3c8b3ac8","datavalue":{"value":{"entity-type":"item","numeric-id":3205291,"id":"Q3205291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$AD5DD356-E142-438F-A257-430162DB3F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d29e3530994f878c9566e632893184525fa2e2","datavalue":{"value":{"entity-type":"item","numeric-id":5815639,"id":"Q5815639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089019$09EA3CA6-2DFF-4CF7-8F0D-2C514C95A43D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0644af694269547eba5411f7948ca6a1e03e174","datavalue":{"value":{"entity-type":"item","numeric-id":3784116,"id":"Q3784116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99786737e752a7ad1b808615acd1fa501ce39696","datavalue":{"value":{"amount":"+0.820039689540863","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":"Q1089019$94D05025-3F45-4FAD-968B-5F352E15DC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98a5f7ddd04c4074f0980b8df76be5a8a8c3b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2998599,"id":"Q2998599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d826e3c3447069132a0853bfc63fff052cce71be","datavalue":{"value":{"amount":"+0.8154531717300415","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":"Q1089019$AA09FB5A-26A5-4E33-B3D4-4E83929711EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffc420902ff57733fc60b4da4c52b162382d2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3789618,"id":"Q3789618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c57aa5d85042ac408bacc8257a2cc61ce1dd9c","datavalue":{"value":{"amount":"+0.8115866184234619","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":"Q1089019$088A03F2-468B-424B-BF1F-64A7D425EBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bae4a494c7133b3ddbfa481fd614dfdee5ace9","datavalue":{"value":{"entity-type":"item","numeric-id":745935,"id":"Q745935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7546d83af51c72ed5ecf2a36b095431049242036","datavalue":{"value":{"amount":"+0.8098553419113159","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":"Q1089019$3139E3FB-61E5-4648-826F-883F67DF8B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf718d14d0e21d2307369960bc47c72defc2c4e","datavalue":{"value":{"entity-type":"item","numeric-id":4007187,"id":"Q4007187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d9079495e98c4351c7fa88e0806a47654d119d","datavalue":{"value":{"amount":"+0.802216112613678","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":"Q1089019$F0A14382-529F-411C-A16B-A7BE35A906EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebras with Boolean and Stonean congruence lattices","badges":[]}}}}}