{"entities":{"Q2634704":{"pageid":2645447,"ns":120,"title":"Item:Q2634704","lastrevid":57965067,"modified":"2026-04-03T06:39:25Z","type":"item","id":"Q2634704","labels":{"en":{"language":"en","value":"The variety generated by \\(\\mathbb {A}(\\mathcal {T})\\) -- two counterexamples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6542173"}},"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":"Q2634704$30697AA9-E21E-4DEE-A14C-A6B1F3565FD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7cceb6ac644398672b040e0128cd526b4816397","datavalue":{"value":{"text":"The variety generated by \\(\\mathbb {A}(\\mathcal {T})\\) -- two counterexamples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2634704$55F5DC25-524E-4854-9848-C8C31E3DBB70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"149805216b671f3820ad15eef59b737e75a10063","datavalue":{"value":"1364.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634704$BB69E27D-0A28-4E1D-8E44-EB521C74B913","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$AF61D86F-95E5-4D8B-A12C-5543E9404B46","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":"Q2634704$F74888E7-74AF-410A-90BC-699BD5CBB4D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0fbb1c99210203060d83e8748755157d2741267","datavalue":{"value":{"time":"+2016-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2634704$8DDE67EF-670E-4013-89E4-7CB793EC2C37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"654c7b350a7136277e7e7255d6c4d37edaa7479e","datavalue":{"value":"https://arxiv.org/abs/1304.4659","type":"string"},"datatype":"url"},"type":"statement","id":"Q2634704$9E61F3ED-0DBD-403D-9AFE-607806CC662E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad388f980246ffa1fd50c15d4fce5593356d9abc","datavalue":{"value":"A variety \\textbf{V} of algebras is said to \\textit{have a finite residual bound} if there is a finite bound on the size of subdirectly irreducible algebras in \\textbf{V}. \\textit{R. E. Park}'s conjecture [Equational classes of non-associative ordered algebras. Los Angeles, CA: University of California (PhD Thesis) (1976)] says that every finitely generated variety with a finite residual bound is finitely based. The problem is still open but it was established for: congruence distributive varieties by \\textit{K. A. Baker} [Adv. Math. 24, 207--243 (1977; Zbl 0356.08006)], congruence modular varieties by \\textit{R. McKenzie} [Algebra Univers. 24, No. 3, 224--250 (1987; Zbl 0648.08006)] and congruence \\(\\wedge\\)-semidistributive varieties by \\textit{R. Willard} [J. Symb. Log. 65, No. 1, 187--200 (2000; Zbl 0973.08004)].   This paper gives the first example of a variety \\textbf{V} generated by a single finite algebra \\(A\\) of a finite type, such that \\textbf{V} has finite residual bound and is congruence \\(\\wedge\\)-semidistributive, but has neither definable principal congruences nor bounded Maltsev depth. This way two questions asked by \\textit{R. Willard} [Algebra Univers. 45, No. 2--3, 335--344 (2001; Zbl 0980.08003); Contrib. Gen. Algebra 15, 199--206 (2004; Zbl 1068.08005)] are answered in the negative. The author uses as \\(A\\) the algebra associated to a Turing machine which was constructed by \\textit{R. McKenzie} in [Int. J. Algebra Comput. 6, No. 1, 29--48 (1996; Zbl 0844.08010)]. However, the paper is self-contained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634704$D4B7C3E9-6D67-4F06-9064-DDB2F3DC9727","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"53aa016e3caf5193412dcf3d4c1f35c414a49c4e","datavalue":{"value":{"entity-type":"item","numeric-id":424122,"id":"Q424122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$9527AA10-CC23-4075-8B6D-7727936A2EAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634704$9F22F5E2-3603-4AD7-BF05-94A034AA91E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634704$11507081-666A-4641-82B0-DE8D76C1A92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634704$CE64853A-A655-4FE8-ADD8-73E0369D62E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634704$B46CA73C-1620-4B42-9B32-3A1FAB6BFA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634704$27B927AF-DA6D-4F9E-9282-2EA0E4FAEB59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4154326a86bef5d5c3dfa71eac61a08d57304fd","datavalue":{"value":"6542173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634704$BCED8F6F-6B10-4204-8AA9-5ABBC9965FA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1771b3ca68f6d272c07f21978c8edf188436196d","datavalue":{"value":"finite residual bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634704$8D11E10D-6BD8-4A43-88F3-447D893A61AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634704$A4679AF5-14D0-4858-AEAF-6E23D46BAD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a23575782f0b20e69760c249f56001a59611ce","datavalue":{"value":"Park's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634704$6806A642-E5AC-4751-8B9E-A86B72D72E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3a5d2e664cf2405f35d8fb0476a10343b8304a","datavalue":{"value":"definable principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634704$3E0C88A3-EBA0-4274-807E-72F1F19D0865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e91f3c07eb17f62c92d465a7b31d417a70e88a1b","datavalue":{"value":"bounded Mal'tsev depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634704$E08C4BB2-6D16-40DD-9151-6AB1F7641EBD","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":"Q2634704$F8EE1ADC-4ABC-4CCB-A1B5-698FFD2D3153","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"620bcdba4689b0a2dd1ff34bc1abbcaa3b963018","datavalue":{"value":"W2951786226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634704$33515DC0-08BC-41E7-B3AD-E37FD2703B0B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2f5e857137cffa6f7e204dbd24f650c9a2fd08c5","datavalue":{"value":"Q124802713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634704$D2208AF7-90DB-4F69-9146-5E474D5018E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$016D1897-2773-48B2-98FB-3521F39B813B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4b225c07f19615d66af01b08dc2807483677c1","datavalue":{"value":{"entity-type":"item","numeric-id":1771906,"id":"Q1771906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$0CCA7E37-EF4C-4313-A462-127318B5F040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a53b3cce3cc1c5fac5a44bf24e52bf6538279c","datavalue":{"value":{"entity-type":"item","numeric-id":818705,"id":"Q818705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$7FF1059F-1ECE-4091-B60F-57CC1206D056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe9141abd9b3b701a7dfc2010090ba9fb41b9cf","datavalue":{"value":{"entity-type":"item","numeric-id":3863932,"id":"Q3863932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$9E7475D2-225B-4497-80EC-88DA3B821133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8327a1f8cf5ab487b7b5f984d0680a85a81ed1cc","datavalue":{"value":{"entity-type":"item","numeric-id":1846449,"id":"Q1846449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$6491D167-7485-4F5F-98DA-0F84EB4FE844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f7846257cc523667b5097f62a9f929ea7a620a","datavalue":{"value":{"entity-type":"item","numeric-id":1104959,"id":"Q1104959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$86051D92-9522-421D-9011-35282F450899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3701f59903dd13535f153cda7d9aa9c8742e0c37","datavalue":{"value":{"entity-type":"item","numeric-id":4882917,"id":"Q4882917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$5837D1E5-A77C-46F3-83AD-0D686E5DCB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40361cb572ede3f0ab43014c04a63ad2dee4770","datavalue":{"value":{"entity-type":"item","numeric-id":5501763,"id":"Q5501763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$B370AE05-0A09-4DA2-AA68-4726DF0AAE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2242ec25497e084af7efac4d84928469e6dcf15d","datavalue":{"value":{"entity-type":"item","numeric-id":4337957,"id":"Q4337957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$43DF84DA-45C4-42CC-83C4-50FFAD5B522A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79067e5f45fe4ee8c61d1c2419c632320fac87e0","datavalue":{"value":{"entity-type":"item","numeric-id":4953214,"id":"Q4953214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$5D8A8E70-531F-4DCD-84C1-55E1E65D002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0236232bb1b938dfedfcd46b9761a2186422388","datavalue":{"value":{"entity-type":"item","numeric-id":5950760,"id":"Q5950760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$85541FB8-C08F-442D-87D6-37AD4E2E4544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d7ae2c8075964087a631fe78287c17f4aed76c","datavalue":{"value":{"entity-type":"item","numeric-id":4657024,"id":"Q4657024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634704$C68B0E31-D972-4DE0-99C4-92903BC332D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b53ab97cee576db4ac66b4990aba3e61a83ebe2","datavalue":{"value":"10.1007/S00012-015-0362-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634704$9DF9C1CB-143D-499A-B44F-F07ECE7B5F5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bd19502da871eac48fd6a3045b80574449d6af","datavalue":{"value":{"entity-type":"item","numeric-id":5501763,"id":"Q5501763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d0ada60b4881ef353eb02491552727ab96ea82","datavalue":{"value":{"amount":"+0.791015625","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":"Q2634704$6FCCD55B-D21E-496B-BC8E-6B0FA437E4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d49c16ecee6d588dcb45467131a1d0ce8759ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4882917,"id":"Q4882917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33b665770f89b979a1a4fa37836dd4e6824b16b","datavalue":{"value":{"amount":"+0.7315605282783508","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":"Q2634704$6B869BA0-FCAD-4899-AE3B-C2E8024884D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1f78efd8ee3854dd69e1a86f9ef091a6aaf49d","datavalue":{"value":{"entity-type":"item","numeric-id":4786272,"id":"Q4786272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0768cbf835afce956ec241d61b21da7fec625f9","datavalue":{"value":{"amount":"+0.7272626161575317","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":"Q2634704$D4687A79-C2C1-4A82-A76A-31EB270FD979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce72f33e03dfa6c8843fedd7c4d2a6316d82719e","datavalue":{"value":{"entity-type":"item","numeric-id":4368885,"id":"Q4368885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e6a7ee58fdf606bbd67464dee8a85258074ffb","datavalue":{"value":{"amount":"+0.7260492444038391","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":"Q2634704$2CDA3839-3F60-4A69-ADA0-0759AC523B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72268b6ba8547c3563dd711138369f68246dc4e7","datavalue":{"value":{"entity-type":"item","numeric-id":2710615,"id":"Q2710615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d638b916a4653d31e430d190b463aa14a97ba17","datavalue":{"value":{"amount":"+0.7258528470993042","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":"Q2634704$FA9A9A6D-9221-4F20-AF69-204A085A0585","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2634704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2634704"}}}}}