Optimal strong Mal’cev conditions for congruence meet-semidistributivity in locally finite varieties

被引：0

作者：

Jelena Jovanović

Petar Marković

Ralph McKenzie

Matthew Moore

机构：

[1] Belgrade University,Faculty of Mathematics

[2] University of Novi Sad,Department of Mathematics and Informatics

[3] Vanderbilt University,Department of Mathematics

来源：

Algebra universalis | 2016年 / 76卷

关键词：

Mal’cev condition; variety; congruence meet-semidistributive; constraint satisfaction problem; tame congruence theory;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Locally finite, congruence meet-semidistributive varieties have been characterized by numerous Mal’cev conditions and, recently, by two strong Mal’cev conditions. We provide three new strong Mal’cev characterizations and a new Mal’cev characterization each of which improves the known ones in some way.

引用

页码：305 / 325

页数：20

共 19 条

[1] Barto L.(2016)The collapse of the bounded width hierarchy J. Logic Comput. 26 923-943
[2] Jovanović J.(2013)On terms describing omitting unary and affine types Filomat 27 183-199
[3] Kearnes K.(2014)Optimal strong Mal’cev conditions for omitting type 1 in locally finite varieties Algebra Universalis 72 91-100
[4] Marković P.(1998)The relationship between two commutators Internat. J. Algebra Comput. 8 497-531
[5] McKenzie R.(1999)Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound Proc. Amer. Math. Soc. 127 2841-2850
[6] Kearnes K.(2015)Characterizations of several Maltsev conditions Algebra Universalis 73 205-224
[7] Szendrei Á.(2007)Bounded width problems and algebras Algebra Universalis 56 439-466
[8] Kearnes K.(1998)A characterization of varieties with a difference term, II: Neutral = meet semi-distributive Canad. Math. Bull. 41 318-327
[9] Willard R.(2008)Existence theorems for weakly symmetric operations Algebra Universalis 59 463-489
[10] Kozik M.(2010)A strong Mal’cev condition for locally finite varieties omitting the unary type Algebra Universalis 64 15-20

← 1 2 →