{"entities":{"Q523142":{"pageid":524909,"ns":120,"title":"Item:Q523142","lastrevid":52787606,"modified":"2026-01-23T12:26:19Z","type":"item","id":"Q523142","labels":{"en":{"language":"en","value":"The lattices of kernel ideals in pseudocomplemented De Morgan algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6706481"}},"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":"Q523142$A8747675-DBDE-4EBA-A872-2DDA5A0FFCD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5ff6ce992477eebdaf224a93afc99750f611edb","datavalue":{"value":{"text":"The lattices of kernel ideals in pseudocomplemented De Morgan algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q523142$C8081ED2-BEC4-47C7-9106-274D2B882BF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d87338bd10edd67a0ce354dbd58383cb34f8d67","datavalue":{"value":"1400.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523142$F76AAD38-AF7C-47F6-BBF2-AC0927BD4FA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d276d38ecd223349258de502037c6d51523b4803","datavalue":{"value":{"entity-type":"item","numeric-id":495831,"id":"Q495831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$36F1F52C-D52D-4BE6-BAB0-1D15A5B7F04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1066121ea3fa87d34ade9b7d9258d6f19609ed","datavalue":{"value":{"entity-type":"item","numeric-id":401169,"id":"Q401169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$36855885-B2A2-49F9-9135-32959BEE4E31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$B1EA0FCD-2743-423A-8166-41D621D674B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4362aaeafabc18b4ad2758d34cea4d65885260b0","datavalue":{"value":{"time":"+2017-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q523142$4E607C0D-D0CE-4795-8B0B-475884C5BC32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56a02bfaf6112f9c67852ca14c752e5772bdcc81","datavalue":{"value":"A pseudocomplemented De Morgan algebra is a bounded distributive lattice \\(L\\) endowed with two unary operations, \\(\\circ\\) and \\(\\ast\\), such that \\((L,\\circ)\\) is a De Morgan algebras and \\((L,\\ast)\\) a distributive p-algebra. Pseudocomplemented De Morgan algebras form an equational class \\textbf{pdM}. A kernel ideal \\(I\\) of \\(L\\) in \\textbf{pdM} is a lattice ideal which is the class of zero for some congruence of \\(L\\), equivalently, a lattice ideal such that for every \\(x \\in I\\), \\(x^{\\ast \\circ} \\in I\\). Write \\(\\mathcal{I}_k(L)\\) for the complete distributive lattice of kernel ideals of \\(L\\). Since it is complete, it is a Heyting algebra. Write \\(Z(L)\\), for the set of elements \\(x \\in L\\) such that \\(x^{\\circ} = x^{\\ast}\\).  The authors give necessary and sufficient conditions for kernel ideals being a Boolean and a Stone lattice. More concretely, the lattice \\(\\mathcal{I}_k(L)\\) is Boolean if and only if \\(Z(L)\\) is finite and for every \\(x\\), there exists an \\(N \\geq 0\\) such that \\((x \\vee x^{\\ast \\circ})^{n (\\ast \\circ)} = (x \\vee x^{\\ast \\circ})^{N (\\ast \\circ)}\\), for \\(n \\geq N\\); and \\(\\mathcal{I}_k(L)\\) is a Stone lattice if and only if \\(Z(L)\\) is complete and for every \\(x\\), \\(\\displaystyle \\bigwedge_{n \\geq 0}(x \\vee x^{\\ast \\circ})^{\\ast n (\\ast \\circ)}\\) exists.  Furthermore, defining the class of De Morgan-Heyting algebras in the obvious way, it is shown that for every \\(L\\) in this class, the lattice of congruences of \\(L\\) is isomorphic to \\(\\mathcal{I}_k(L)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q523142$B479A0AA-0871-4345-8110-46E919350468","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d634f806b33ca6bc23b185220021f216c615261","datavalue":{"value":{"entity-type":"item","numeric-id":266866,"id":"Q266866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$4241916D-D2F5-4A90-8F4D-087640A7A62C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523142$79FD0578-75C1-4871-8604-6E9A071B65B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523142$C51C0724-47BD-432B-845E-AC93993929E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523142$F0467006-5CF6-4A5A-85B6-0B6A9944C35E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a910e3882e345e93500250fcfba77c00b7f219fa","datavalue":{"value":"6706481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523142$AB116D84-F0ED-4B77-ACB7-D9945FF68D5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cfbbdee39ef48032e03b499e615237ef0f50ece","datavalue":{"value":"De Morgan algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q523142$F7DE6039-6A70-45B2-B3B8-3681F0397ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e96e25b97c66150bf66d78910bfa48b7689320c","datavalue":{"value":"distributive p-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q523142$D157FAD4-9D90-4297-A198-EEAADC3F2BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17d2f4517caba967aa2b71de140fc3c480289423","datavalue":{"value":"congruences lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q523142$35EE2ACF-4028-49FB-80FC-53E92B93F757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f21a9a40c3f97ae300bbe734f6855a656a35aaf8","datavalue":{"value":"kernel ideal, pseudocomplemented De Morgan algebra, De Morgan-Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q523142$78D885B8-107D-4262-8721-7A51DE4C6DF2","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":"Q523142$11E84319-2DE5-4708-BDEA-D1644E6F4315","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fee776f2ed77b1db3b49c6d3507e812ef264112","datavalue":{"value":"https://doi.org/10.1007/s11083-016-9386-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q523142$436B7C6F-542D-4103-B3B2-A25C9A176DDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca487a509d901d1e0e98d1fb73532532786ea40e","datavalue":{"value":"W2314217485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523142$F411BD55-C0BE-474A-829C-F330C37596B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a574fd61cf85b00cc015ecc28473fc55c808914","datavalue":{"value":{"entity-type":"item","numeric-id":3964629,"id":"Q3964629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$68596280-1E46-4C66-92A5-A6F3FE467F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228b0e048c69dee38a80e3c2c0718193f2a93b13","datavalue":{"value":{"entity-type":"item","numeric-id":4308745,"id":"Q4308745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$A9D717D4-CE5A-4785-A58D-A08E5CD31AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$70B4849C-79F9-4630-A757-12A6D04F5BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce9e2be0ee56c6e6dbee67bf83f645bbe81fd9c","datavalue":{"value":{"entity-type":"item","numeric-id":763321,"id":"Q763321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$A4A819A7-706F-49BA-8D37-34453F2D7857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a664efa8787cec330d107bcadac3eee3afb8926","datavalue":{"value":{"entity-type":"item","numeric-id":3008053,"id":"Q3008053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$D5BFF565-4EFA-4C96-8630-3B6B29F6FB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b60c683bd688a48b750742ae0117b586f7b9f4","datavalue":{"value":{"entity-type":"item","numeric-id":3762372,"id":"Q3762372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$EED19264-3BB3-401B-B9B4-CD3B9A34C669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51680acd877604a2e9336434719d492838f08b4a","datavalue":{"value":{"entity-type":"item","numeric-id":5663928,"id":"Q5663928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$905F2386-CC40-4E64-AE8B-3AA5A5810724","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":"Q523142$713D6EE6-A201-45A7-899A-6DEF0F9DA356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee389344dbbfbad76ab8194533eae6ff9e7edee","datavalue":{"value":{"entity-type":"item","numeric-id":657388,"id":"Q657388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$DC1FA3E7-8F11-4F94-B30F-30BFD0FECCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bcf491be3b785a8765864efcfaf7ad7b7e6f11","datavalue":{"value":{"entity-type":"item","numeric-id":1150638,"id":"Q1150638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$22C3A3BC-492A-4E87-BBF6-6C4BC6AC44D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e414372454e57c1951dac219ea3b1fe8577676bf","datavalue":{"value":{"entity-type":"item","numeric-id":3770582,"id":"Q3770582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523142$83FDCD20-D21E-4C63-8CC2-25B0A6F3D207","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0b665f78e6d33fa63077254314663cf29ad36a4","datavalue":{"value":"10.1007/S11083-016-9386-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523142$1B63CD42-5362-4266-8AD8-3F59368DD690","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f52328700770f10f6e89bc5e858e53329962d0d","datavalue":{"value":{"entity-type":"item","numeric-id":2016063,"id":"Q2016063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5023b5d0a733f573a6b16bae407d67bc8f79582","datavalue":{"value":{"amount":"+0.8362041115760803","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":"Q523142$B19B2697-3AF2-43C9-8B66-FB3A092E1F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e6c6ad55124d498bf04513f0fcfb6d6e45ff39","datavalue":{"value":{"entity-type":"item","numeric-id":2495542,"id":"Q2495542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56b56b45445dc5228624accd89d46129d12b407","datavalue":{"value":{"amount":"+0.8204630613327026","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":"Q523142$667D4746-AD03-445F-A2F0-A8B9652F4F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496c26fcff84b7b61969bde9bdcf4f91b8f406b1","datavalue":{"value":{"entity-type":"item","numeric-id":721269,"id":"Q721269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a135b3e61f614acc328acf01a07891b453c3894","datavalue":{"value":{"amount":"+0.8162742853164673","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":"Q523142$44DF9998-9DCE-4A25-9E04-5793D95DDD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc643244446910fffecec9e96ae6673b3637748","datavalue":{"value":{"entity-type":"item","numeric-id":2983923,"id":"Q2983923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2af0beb49f8012f3a82d6c850770b80647e970","datavalue":{"value":{"amount":"+0.815933346748352","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":"Q523142$3DB0FA34-FB00-4351-B972-ACB1532A4E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128df3a64fdfd4302d76ffcd3ae94f45e4ebcee4","datavalue":{"value":{"entity-type":"item","numeric-id":2350967,"id":"Q2350967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2338af3268ba5b534f24f82de576ef2d595acf0c","datavalue":{"value":{"amount":"+0.8037009835243225","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":"Q523142$7B7DD65A-CD78-4089-A6A6-5E320D7CE4F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:523142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:523142"}}}}}