{"entities":{"Q471164":{"pageid":472931,"ns":120,"title":"Item:Q471164","lastrevid":62075247,"modified":"2026-04-11T03:36:00Z","type":"item","id":"Q471164","labels":{"en":{"language":"en","value":"A note on congruences of semilattices with sectionally finite height."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6369494"}},"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":"Q471164$BCDA4F3A-608B-4F7D-B116-63F5EE50ED2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed53f47a04de359378f09f69025e2fe4a08d0757","datavalue":{"value":{"text":"A note on congruences of semilattices with sectionally finite height.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q471164$CA20AC9A-01BF-4229-BA31-9F179EFA5ACC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aa2dd2b8b44a4b28fe561ddcee9a0a873a846bf","datavalue":{"value":"1319.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471164$27C7A3ED-9AFE-4F47-9C96-637C17DBACEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc8dcbf968ebff5e32c9bfc9430cbef55065afb","datavalue":{"value":{"entity-type":"item","numeric-id":218967,"id":"Q218967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$8F651673-3966-46E7-826C-431B7B51CDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85df26c66de56d0d6dddc989cdbbfc63a8da6f68","datavalue":{"value":{"entity-type":"item","numeric-id":324256,"id":"Q324256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$A49BAD62-C78D-4A2E-AEF5-8F1A7B0DB962","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":"Q471164$17B65CAB-D501-4B9F-86B9-B7D49719C609","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7716cb22ca1a0f2aae16b7f525027a88bc263ef8","datavalue":{"value":{"time":"+2014-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q471164$1497F424-4E34-4B2A-AC29-4F9E7374918E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3eee6e4a6e672accb6c3719f3ccab0e680245509","datavalue":{"value":"The authors consider correspondence between congruences of semilattices and certain special subsets of their universes in this paper. For an algebra \\(A\\) and a given subset \\(F\\subseteq A\\), it is known that the largest congruence of \\(A\\) compatible with \\(F\\) exists, which is called Leibniz congruence and denoted by \\(\\Omega^AF\\). This notion gives rise to a map \\(\\Omega^A\\colon\\mathcal P(A)\\to\\mathrm{Con}(A)\\), called Leibniz operator. For a meet semilattice \\(A\\), it is said to have sectionally finite height when each principal downset of \\(A\\) has finite height. They define a notion of ``rainbow'' for a semilattice with sectionally finite length as follows: \\(\\mathcal R(A)=\\{a\\in A\\mid\\mathcal H(a)=2n+1,\\text{ for some }n\\in N\\}\\), where \\(\\mathcal H(a)=\\max\\{|L|\\mid L\\text{ is a chain of}\\downarrow a\\}\\).   They show that Leibniz operator induces a bijection between the set of congruences of a semilattice with sectionally finite height and certain special subsets of its universe as the following theorem:   Theorem 4.2. If \\(A\\) is a semilattice with sectionally finite height, then \\(\\Omega^A\\colon\\text{Cl}(A)\\to\\text{Con}(A)\\) is a bijection, where \\(\\text{Cl}(A)=\\{F\\subseteq A\\mid F\\text{ is a cloud}\\}\\) and \\(F\\) is called ``cloud'' when \\(F/\\Omega^AF=\\mathcal R(A/\\Omega^AF)\\).   Moreover, they solve an open problem whether, given an arbitrary semilattice \\(A\\), there is a subset \\(F\\subseteq A\\) such that \\(\\Omega^AF=\\Delta_A\\), for the case of semilattices with sectionally finite height in:   Theorem 3.5. If \\(A\\) is a semilattice with sectionally finite height, then \\(\\Omega^A\\mathcal R(A)=\\Delta_A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q471164$B2FB5F5E-0CCF-4E05-984B-1C51965245EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$A6CA805E-3968-4441-B726-CCFE127C590B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471164$3E34523F-0473-42A2-BB54-5E086E566F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471164$2888AC91-DCD6-45C6-8F54-807F8F61DCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471164$19D32758-D47B-4C3D-ACFF-CD57465C312F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90c32d6a4998f40676bcdfbc554a881c453a64b2","datavalue":{"value":"6369494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471164$40119694-700F-4C52-B4DC-A4CC1C2FAB77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a10f59debde80281aacba78b36066beb3f71776","datavalue":{"value":"congruences of semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q471164$134EFE9D-1987-4F40-9577-C5E5A98C456A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701c0230a7b4e16e1c62c0e4938d49740eda95c","datavalue":{"value":"meet semilattices of sectionally finite height","type":"string"},"datatype":"string"},"type":"statement","id":"Q471164$348C7BAE-603D-4939-8B30-944C897D790E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c632867fb20fe41552f266c9a56db98aead33f24","datavalue":{"value":"rainbows","type":"string"},"datatype":"string"},"type":"statement","id":"Q471164$8E1E3749-9049-4BC3-A3E8-5A5D1A731E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55301f97ff2f5b18f747b7da875930ab374862ec","datavalue":{"value":"clouds","type":"string"},"datatype":"string"},"type":"statement","id":"Q471164$2B72BA74-5F6E-46FC-88AC-A2D1B4153022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfeb258942ae192415c813749d6b5221b271ebd5","datavalue":{"value":"Leibniz operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q471164$9CDBC13E-44A3-4CC6-8FD2-59200424E82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q471164$2BA749A8-3E8F-41FD-9ECC-3E779A34E423","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":"Q471164$999A4FC9-5CC6-4EAF-BD38-8EB2B418B1C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03d6584dd77cd9e6fd517577233ce552d0ab8b36","datavalue":{"value":"https://doi.org/10.1007/s00012-014-0300-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q471164$2F8B2B35-3507-4D1B-A10A-55EF53752FA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5632d7c724e6d612e0294f68b9d32b5069b9b62","datavalue":{"value":"W2052873366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471164$E54E9C6F-F6DB-4F6C-94FD-F9F23255A804","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$BA614B72-1AA5-45B4-9542-2230B454C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$115BC9CA-61E3-42C9-9407-05147300E2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$6C79F554-0141-41D3-9368-EC16D8C86F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912d0682c116b883e8739123fcba6277cdc14bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5293965,"id":"Q5293965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$4AADAD87-8A5C-4840-B324-601AD6221AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4e7165cd6818835fa44dc5bd76ffd690ee3b94","datavalue":{"value":{"entity-type":"item","numeric-id":2998597,"id":"Q2998597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$BBCDA220-087E-4F6C-A3F6-193FE83E6403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$C52C3FB2-72AD-4932-8816-2CABFB132033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$88972642-27E2-4D54-9B55-2BEC2F168062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711d2e197b211054c7eac68fab92b8a924fd8038","datavalue":{"value":{"entity-type":"item","numeric-id":1005985,"id":"Q1005985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$0E178220-C640-4C9E-BCDF-EEDC6C62314D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8303d88cb8d1551549743d06f5ed6a371e2c04c4","datavalue":{"value":{"entity-type":"item","numeric-id":1189892,"id":"Q1189892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$E79571A8-80D0-4E95-A196-259BF4068B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471164$5DB80991-85AC-4B62-85F7-95FE7C78A18E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0efe701cc1d29b725f919c5ddad699f93da4e81","datavalue":{"value":"10.1007/S00012-014-0300-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471164$19D9CC48-8B8F-4DFC-94CB-6133A4CD3094","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d054f0f30db86fcd330075796637c3db7db628","datavalue":{"value":{"entity-type":"item","numeric-id":4644535,"id":"Q4644535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3b41894f730d8d07ca6c79999b4a5890ef7c27","datavalue":{"value":{"amount":"+0.7691817879676819","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":"Q471164$429E0D5E-5E08-4AB1-A15A-C640A521C7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa3c6b0af7606f2a3fde932c7ec7aa075b4691cc","datavalue":{"value":{"entity-type":"item","numeric-id":4210616,"id":"Q4210616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a2a1c5925542bae5cb71ca058edbb1780a33ea","datavalue":{"value":{"amount":"+0.7619571089744568","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":"Q471164$6D676504-36E0-40B2-9FE2-72C3AAFDC994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2befabcdf7d551d21abdd8f230aa94319d3b7a63","datavalue":{"value":{"entity-type":"item","numeric-id":5393768,"id":"Q5393768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a2a1c5925542bae5cb71ca058edbb1780a33ea","datavalue":{"value":{"amount":"+0.7619571089744568","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":"Q471164$3E788701-58AF-4DBA-BD66-B9C4A9BB19C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab94ec81d7f8d2dc7cc20708929e6a2b917a5bbd","datavalue":{"value":{"entity-type":"item","numeric-id":284226,"id":"Q284226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9b822dccacca4af03834f01e811edb549eabee","datavalue":{"value":{"amount":"+0.7616427540779114","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":"Q471164$0CC3873E-2BD7-4ED3-9F7C-220EA38CF9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6df98f191eae2dd22636fb6f6854db49bc86c81","datavalue":{"value":{"entity-type":"item","numeric-id":2314421,"id":"Q2314421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d3513731386a1953ea32151be32b5123f3d2b0","datavalue":{"value":{"amount":"+0.747534453868866","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":"Q471164$56D6F011-81DA-4CE3-90E3-87822A7BBDE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on congruences of semilattices with sectionally finite height.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_congruences_of_semilattices_with_sectionally_finite_height."}}}}}