{"entities":{"Q2407973":{"pageid":2418716,"ns":120,"title":"Item:Q2407973","lastrevid":52923047,"modified":"2026-01-23T19:53:22Z","type":"item","id":"Q2407973","labels":{"en":{"language":"en","value":"Congruence kernels in Ockham algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6787891"}},"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":"Q2407973$3A61117C-4607-44F4-A168-B461F2A756C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41f3b6cd540113b6b311b5a32fc757e0498f783a","datavalue":{"value":{"text":"Congruence kernels in Ockham algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2407973$B110AEB8-A32A-4F0D-8570-D21848E88D84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b978aa469820b95389eb608d6a09352d07200699","datavalue":{"value":"1375.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407973$5B06AA43-6637-4E8C-BEF5-5584A49CB403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"312c4a1ea47cbd86b923ee849824e3aefffd64b0","datavalue":{"value":{"entity-type":"item","numeric-id":192075,"id":"Q192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407973$9CC6CCCD-CDA6-4F36-AF43-2793306FA210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2903fdd6e9a7a6099bc02d7c63f9c62f90b3e0aa","datavalue":{"value":{"entity-type":"item","numeric-id":451074,"id":"Q451074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407973$1AA29CB3-FD1E-435E-B545-465BC31DA261","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":"Q2407973$2B123144-7CA4-48E6-A164-5F510DB5554C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b805027d484a1ee4406ba104b77ea325092ca470","datavalue":{"value":{"time":"+2017-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2407973$3368A24E-13B2-4493-AB48-EDB938B7A6A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0516ed0dca0c1fd65df7e5c6526e746dc57d9d4c","datavalue":{"value":"For an Ockham algebra \\((\\mathcal{L}; f)\\), the authors consider the ideals \\(I\\) such that \\(I=0/\\upsilon\\) for some congruence \\(\\upsilon\\) on \\((\\mathcal{L}; f)\\). These ideals are called \\textit{congruence kernels} and the congruence \\(\\upsilon\\) for which \\(I=0/\\upsilon\\) is said to have kernel \\(I\\). The set \\(\\mathcal{I}_K(\\mathcal{L})\\) of congruence kernels of \\(\\mathcal{L}\\) ordered by set inclusion is a complete lattice. The authors introduce the set \\(\\mathcal{I}_2(\\mathcal{L}):=\\{I\\in \\mathcal{\\mathcal{I}}(L): f^{2}(I)\\subseteq I\\}\\), \\(\\mathcal{I}(\\mathcal{L})\\) being the set of ideals of \\(\\mathcal{L}\\). It happens that \\(\\mathcal{I}_2(\\mathcal{L})\\) is a complete sub-lattice of \\(\\mathcal{I}(\\mathcal{L})\\) and \\(\\mathcal{I}_K(\\mathcal{L})\\subseteq \\mathcal{I}_2(\\mathcal{L})\\). For a given ideal \\(I\\in \\mathcal{I}(\\mathcal{L})\\), the authors define \\(\\tilde{I}:=\\{x\\in L: x\\wedge f(i)\\in I \\text{ for some } i\\in I\\}\\) in order to show that \\(I\\in \\mathcal{I}_K(\\mathcal{L})\\) iff \\(f^{2}(I)\\subseteq I\\) and \\(I= \\tilde{I}\\). For \\(I\\in \\mathcal{I}_K(\\mathcal{L})\\), the authors show that the smallest congruence with kernel \\(I\\), call it \\(\\varphi (I)\\), is defined by  \\[ (x,y)\\in \\varphi (I) \\text{ iff } (\\exists i\\in I) \\text{ such that } (x\\vee i)\\wedge f(i)= (y\\vee i)\\wedge f(i).  \\]  To give a description of the largest congruence having a given kernel \\(I\\in \\mathcal{I}_K(\\mathcal{L})\\), the authors define for each \\(a\\in L\\) and each \\(n\\in \\mathbb{N}\\) the set \\(W_{a,n}^{I}:= \\{x\\in L: f^{n}(a)\\wedge x\\in I\\}\\) and the binary relation \\(\\Theta_{n}^{I}:=\\{(a,b) : W_{a,n}^{I}=W_{b,n}^{I}\\}\\) and show that \\(\\Theta^{I}:=\\bigcap_{n\\in \\mathbb{N}}\\Theta_{n}^{I}\\) is the largest congruence on \\(\\mathcal{L}\\) having kernel \\(I\\). The authors give the following characterization of the proper congruence kernels in terms of the prime ideals of \\(\\mathcal{L}\\):  \\[ L\\neq I\\in \\mathcal{I}_K(\\mathcal{L}) \\text{ iff } I=\\bigcap\\{P\\in \\mathcal{I}_p(\\mathcal{L}): I\\subseteq P, P\\cap f(I)=\\emptyset, f^{2}(I)\\subseteq P\\}.  \\]  \\(I_p(L)\\) is the set of prime ideals of \\(\\mathcal{L}\\).  For a subset \\(X\\) of \\(L\\), let \\(\\kappa (X)\\) be the smallest congruence kernel containing \\(X\\). Write \\(\\kappa (a)\\) when \\(X=\\{a\\}\\). The authors show that \\(\\mathcal{I}_K(\\mathcal{L})\\) is modular iff for all \\(a,b,c\\in L\\), \\(\\kappa (a\\vee c)\\cap \\kappa (a\\vee b) \\subseteq \\kappa((\\kappa (a\\vee c)\\cap \\kappa (b))\\cup \\kappa (c))\\) and \\(\\mathcal{I}_K(\\mathcal{L})\\) is distributive iff for all \\(a,b,c\\in L\\), \\(\\kappa (a)\\cap \\kappa (b\\vee c)\\subseteq \\kappa((\\kappa(a)\\cap \\kappa(b))\\cup (\\kappa(a)\\cap \\kappa(c)))\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407973$1B549C83-8FCE-45C6-889B-E4052E012B90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407973$644543F8-9D52-4F04-8FC2-818E001556DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407973$A3279C8C-50C6-474D-8FC1-93D224EDC35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407973$9E0C7011-D227-49F7-803E-80DCAECCDF07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc2252b6078715bec679b9e4a645405bc122c748","datavalue":{"value":"6787891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407973$4A3E3552-3DD2-44D9-81ED-BC2FE21A67F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298f6f198fe992f7ee975eca529306eb40a507bd","datavalue":{"value":"Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407973$508E074A-5D04-4443-B098-F2291AD07A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407973$D771B13B-B919-4B1B-B96B-34852265069A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0259e08b843f787f2a339d233960eadae6a5c6a","datavalue":{"value":"kernel ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407973$B7C61B2C-A0DF-44A4-AC61-B59F37617166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"635b845ab22085d529172da2c67cfcaadddd8c04","datavalue":{"value":"congruence kernels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407973$CEEE4262-E18D-4846-86F7-E62C323E22AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f825707c2076b8a425a834771e1fad6bc90e750","datavalue":{"value":{"entity-type":"item","numeric-id":186040,"id":"Q186040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407973$D5373A3A-9420-4E7D-BC29-026EF99BCD7A","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":"Q2407973$9F20A9DA-80B4-456F-B836-41B9DD8F9B49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dbe2fb762336ba5273df9cd52faa028a80786fd","datavalue":{"value":"https://doi.org/10.1007/s00012-017-0441-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2407973$70250156-D46B-4019-9476-DBEFD65CAC14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e5ab02bed41768e7f0c0ce78b8fe291f57cffbd","datavalue":{"value":"W2618055936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407973$16D65C92-DD4E-472A-9D7C-782C44F25312","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff57d43a820fc0a9139eff28bfcc3e1fe1dceb11","datavalue":{"value":{"entity-type":"item","numeric-id":3325779,"id":"Q3325779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407973$6C03AC5B-5246-4117-BD16-8EB1C5C7D8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4004e8049c9137d9b5b6e94f4dec378ad15a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1252874,"id":"Q1252874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407973$9B07A817-0B4C-4033-99DB-0B10F05FCBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4619d50dd1fc7bab67f94b040fab5063e7584c3","datavalue":{"value":{"entity-type":"item","numeric-id":3320444,"id":"Q3320444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407973$2FF56ED9-5036-47D5-96CF-DA775B1BB6EC","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":"Q2407973$1121515A-715F-41AF-AA18-27CB0AB00F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418821fe58bdb4e8ca7702edf4fa623914f51248","datavalue":{"value":{"entity-type":"item","numeric-id":4399900,"id":"Q4399900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407973$D569D660-0675-4049-BF3F-FF088B62B2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46459639b7b57ca3a8317507bfa0aab056349d62","datavalue":{"value":{"entity-type":"item","numeric-id":3767389,"id":"Q3767389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407973$C007BF45-DDB8-4878-B70F-5CA9C670081D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403fcba039ed4891228e566729774351a83899be","datavalue":{"value":{"entity-type":"item","numeric-id":5566546,"id":"Q5566546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407973$FC610517-63F6-4B46-8ED8-569264F5CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb70bc2c8062a128ed6f64fe53d9aaafbf7350f6","datavalue":{"value":{"entity-type":"item","numeric-id":495832,"id":"Q495832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407973$8FCB3BFE-CC0A-4CE6-9A47-D63F6423DAF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2547e2ba96c8da98d95bf75f5bb11fe0edaf57b7","datavalue":{"value":"10.1007/S00012-017-0441-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407973$D1C7D698-2D6C-4B0F-852C-2C34FB5E2C5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c054960ca01491ca74f142d6633d38f59bbc1ee8","datavalue":{"value":{"entity-type":"item","numeric-id":495832,"id":"Q495832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b952029f6d0c8ae32fdfe3a3121a9cb73012e8a","datavalue":{"value":{"amount":"+0.8989964723587036","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":"Q2407973$C02BBAF3-F85E-4F58-8698-7FB47B94BE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e80e966e916201801727cdc1c8165fb98f343b","datavalue":{"value":{"entity-type":"item","numeric-id":2230056,"id":"Q2230056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6559c15f6bae1a2ee265948b19680fdb7e0e1116","datavalue":{"value":{"amount":"+0.8735795021057129","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":"Q2407973$FA993114-6932-4A0C-8308-302733494371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed4a43809a96da9f2e46e571dd1fcb2aedaeb5e","datavalue":{"value":{"entity-type":"item","numeric-id":1806080,"id":"Q1806080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6feb38ba94ed5312b3c82abb5ddbbf5ef5f5e099","datavalue":{"value":{"amount":"+0.8441541194915771","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":"Q2407973$F746A52C-404A-4DF7-8B0F-6A667F34817C","rank":"normal"},{"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":"0b3e12834b553bdab65b38daed8de4e03b393ce4","datavalue":{"value":{"amount":"+0.8411774039268494","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":"Q2407973$7F44F8F3-07B7-473E-A984-7D8E76C2ED3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79670c673cdf1415c8fdd399225fa4bb67ca5009","datavalue":{"value":{"entity-type":"item","numeric-id":3380977,"id":"Q3380977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa27b545606027a73399033254c4bad13e914be","datavalue":{"value":{"amount":"+0.8406080007553101","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":"Q2407973$0778BB86-B547-4AC3-9FA7-09A11FEBD14B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2407973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2407973"}}}}}