{"entities":{"Q2520762":{"pageid":2531505,"ns":120,"title":"Item:Q2520762","lastrevid":73521129,"modified":"2026-04-14T16:19:11Z","type":"item","id":"Q2520762","labels":{"en":{"language":"en","value":"Uncountable critical points for congruence lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6665310"}},"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":"Q2520762$551C6848-396E-4079-820F-3E5C0FD5189A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3390c05712c7babdd2ff192f19cb74b410a2c1a0","datavalue":{"value":{"text":"Uncountable critical points for congruence lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520762$33568120-F26B-455E-ACF5-CA478DCC31F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0985be39e3553d80d29897ca606e0de020b3b9e","datavalue":{"value":"1355.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520762$C7C19678-5F93-4321-B242-199C35C8CD27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06af347d62b2363e181b683d510a6516c1089689","datavalue":{"value":{"entity-type":"item","numeric-id":271700,"id":"Q271700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$D6E2CE19-DA2B-4717-BA6D-F8299D257B46","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":"Q2520762$3D4CED9F-3EF9-4ABB-AA08-0CC24BE13B6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2520762$C62E3177-AADF-47FE-B1EB-DF130CF9536D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23dae0488d9891e4df2aed3624fd41713ab2bb36","datavalue":{"value":"The critical point between two classes \\(K\\) and \\(L\\) of algebras is the cardinality of the smallest semilattice isomorphic to the semilattice of compact congruences of some algebra in \\(K\\), but not in \\(L\\). The paper is interested in the case when \\(K\\) and \\(L\\) are varieties of algebras. For the most of pairs of varieties, the critical point is either finite or \\(\\aleph_0\\). Examples with uncountable critical point are quite rare. The first examples with critical point \\(\\aleph_2\\) was exihibited by the author in [Colloq. Math. 83, No. 1, 71--84 (2000; Zbl 0961.06006); Topology Appl. 131, No. 1, 1--14 (2003; Zbl 1036.54014)]. The first example with critical point \\(\\aleph_4\\) was presented by \\textit{P. Gillibert} [Int. J. Algebra Comput. 19, No. 1, 1--40 (2009; Zbl 1172.08001)]. The paper under review is devoted to the problem of determining the critical point between two finitely generated congruence distributive varieties. A criterion is given and the author uses it to prove that the critical point between finitely generated congruence distributive varieties is less or equal to \\(\\aleph_1\\). Two new examples with the critical point equal to \\(\\aleph_1\\) are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520762$74ED0062-EA7F-4CCC-B8C8-779C48CF91C4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$A6A968FF-7F17-4646-B79A-3669788A62F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520762$08E834F1-D270-4625-8DC2-9479FC22CA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520762$D9F6FDDF-9C23-4C9E-A7B2-BAF8E392B9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520762$C7B895D0-C4B8-41F6-8360-383DBF490417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04948eeee78c29f2edebe5310728befd69525337","datavalue":{"value":"6665310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520762$4B7119B8-B159-452F-9AD9-3169206A62DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6a5e3ac5da4558a54ed427bcc49f7efd6b6452","datavalue":{"value":"algebraic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520762$D0CD7797-8A39-40AF-8BB4-855897E461AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520762$571CCAED-42CC-4AB4-8ED3-B2834E01892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520762$5EBFEB17-023F-4652-9BD5-9DF5F2BB804D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c351b920d81a7e31dbc1b0b801145d3db4646d","datavalue":{"value":"critical point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520762$C461B44D-A29E-4D23-A0F5-503CE7E3D04A","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":"Q2520762$0881E471-DACB-4BB5-98EE-95056E78D9E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f600c59ee7e4bc0cc048cfda5fd95d8e0a2b920","datavalue":{"value":"https://doi.org/10.1007/s00012-016-0411-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520762$DA214B91-56D7-44DC-BB03-2F50485AA492","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e80ca2a6a144a6c251ff5813455bbfcbd6a0d8d","datavalue":{"value":"W2528524694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520762$D21B3F20-26B7-4B9A-A8D9-20A3F3602D6B","rank":"normal"}],"P223":[{"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":"Q2520762$0918E0A3-D0BC-40A0-9021-F1EBF2322F7D","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":"Q2520762$531A4E50-EF95-494F-8305-2AC9D4CFDD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb27585d4d824be376d6421c464eca28e95c9e6","datavalue":{"value":{"entity-type":"item","numeric-id":4452269,"id":"Q4452269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$4C44A7BE-CC9B-4D68-8E2E-CEC7453C83E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a2eb486478a1e781f4a4e4bc2a3db08426db35a","datavalue":{"value":{"entity-type":"item","numeric-id":3621429,"id":"Q3621429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$6830713B-2D2A-4DC0-8B83-1434C6A05A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdea85ed7c48c31e3573720e0bd6be02de697c4","datavalue":{"value":{"entity-type":"item","numeric-id":2268575,"id":"Q2268575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$B4FBC7D5-29A4-4821-9311-211EE95D9335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee193e20480f25ff764f2055ac2f851f8a23297","datavalue":{"value":{"entity-type":"item","numeric-id":2445862,"id":"Q2445862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$7F5F0E89-77F5-4F65-9E74-5C018600C3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998c2fc2dcc25c39da00b646539b41b03c598524","datavalue":{"value":{"entity-type":"item","numeric-id":555545,"id":"Q555545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$48976D84-AE62-44E2-847D-0939C5FE6C8B","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":"Q2520762$A9073FDA-66FA-4160-825F-9343BCBBD653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e00547172d292ed8f97af6b07f84d8dce75079","datavalue":{"value":{"entity-type":"item","numeric-id":4500558,"id":"Q4500558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$5A9F320B-AB09-42C8-8E78-4DE15948BC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc3acfedec7a492131987f7171169f3b21cdbd5","datavalue":{"value":{"entity-type":"item","numeric-id":1398186,"id":"Q1398186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$CA0B9837-0DAF-4DC7-B938-0B330AFE1DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd51a64aa83f629efbab0e65e2687390a81bdbf","datavalue":{"value":{"entity-type":"item","numeric-id":4466664,"id":"Q4466664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$D8C366AE-7C86-4331-8CD1-DA2ACAA1E320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9be2e3c004c0c87de10ad6aa9f7a63fcbc75e2","datavalue":{"value":{"entity-type":"item","numeric-id":942205,"id":"Q942205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$C057635A-447E-45F1-A49D-E8D0CEE1F720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df549c3eb52dcb3a5de8faf61fd9d07328d78209","datavalue":{"value":{"entity-type":"item","numeric-id":1279633,"id":"Q1279633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$547C1007-3612-4A81-A483-86EA2534D7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614a4efcee9a1228be57908449a0ae9b9dda7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":4219129,"id":"Q4219129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$0AF60375-462B-4D0A-BC3A-A170A3A85852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535348d329113b4c7bed2aac763af7b5e7f7c998","datavalue":{"value":{"entity-type":"item","numeric-id":2456974,"id":"Q2456974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520762$513B2B54-9A2B-4049-862C-7BD55A4ACF83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fce17c26621b261f18c37a84eb47d8fd4a53853","datavalue":{"value":"10.1007/S00012-016-0411-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520762$2185B816-561F-4516-B248-0ADB7F5B30BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae58d3e1aa07ebe4f52363a16ae816fb017ebd2","datavalue":{"value":{"entity-type":"item","numeric-id":3621429,"id":"Q3621429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d665d51f9e0af2682cd714377210b8eef89f1bfd","datavalue":{"value":{"amount":"+0.8679800629615784","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":"Q2520762$85B124A9-AE6A-48C6-9546-A18F7FC85856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b267e8641991ce8abf11826f1a2eb300806544ab","datavalue":{"value":{"entity-type":"item","numeric-id":2268575,"id":"Q2268575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec62a4e6613d6fbc620fd677be0819c4485ebfe","datavalue":{"value":{"amount":"+0.8418903946876526","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":"Q2520762$F6EA884F-ACB0-4F95-AC5B-C88EB13611B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c9940cb8e491941503c6564f632f0f44219270","datavalue":{"value":{"entity-type":"item","numeric-id":2445862,"id":"Q2445862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a850405831dba8ee6e6695dd6b5d524e49e1508f","datavalue":{"value":{"amount":"+0.8275752067565918","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":"Q2520762$87D03588-8A33-4409-B44D-FBA46F3C545D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ead3b30a5ddcc11e904cc4a81ada26b11c76ae8","datavalue":{"value":{"entity-type":"item","numeric-id":1938536,"id":"Q1938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db4ccb7035272018c437d16e151ad27e622438f","datavalue":{"value":{"amount":"+0.8066431879997253","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":"Q2520762$5FC77D8E-34C8-4C94-9430-BC89A0D73705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380f8d184c703d89ec54be3e0128d102e76e965f","datavalue":{"value":{"entity-type":"item","numeric-id":2249403,"id":"Q2249403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769f3ffcb743a0c73c7bb61e3a1f86a80b2ea6cb","datavalue":{"value":{"amount":"+0.7870405316352844","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":"Q2520762$B52A3296-ED83-4A78-9D04-2D0610E6A098","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uncountable critical points for congruence lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uncountable_critical_points_for_congruence_lattices"}}}}}