A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties

被引：1

作者：

Draganic, Nemanja ^{[1
]}

Markovic, Petar ^{[2
]}

Uljarevic, Vlado ^{[2
]}

Zahirovic, Samir ^{[2
]}

机构：

[1] Swiss Fed Inst Technol, Dept Math, Zurich, Switzerland

[2] Univ Novi Sad, Dept Math & Informat, Novi Sad, Serbia

来源：

ALGEBRA UNIVERSALIS | 2018年 / 79卷 / 03期

关键词：

Mal'cev condition; Congruence meet-semidistributive; Variety; Constraint satisfaction problem; Ramsey theory; Tame congruence theory; RESIDUALLY FINITE; UNARY;

D O I：

10.1007/s00012-018-0533-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We prove a characterization of all idempotent, linear, strong Mal'cev conditions in two variables which hold in all locally finite congruence meet-semidistributive varieties. This is an alternative proof to the one previously given by Z. Brady, and has some advantages, some disadvantages, to his approach. Along the way we prove that such a strong Mal'cev condition holds in all locally finite congruence meet-semidistributive varieties iff it is realized in a certain four-element algebra.

引用

页数：34

共 24 条

[1] The collapse of the bounded width hierarchy
Barto, Libor
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (03) : 923 - 943
[2] Constraint Satisfaction Problems Solvable by Local Consistency Methods
Barto, Libor
Kozik, Marcin
[J]. JOURNAL OF THE ACM, 2014, 61 (01)
[3] Bergman C.H., 2011, Universal Algebra: Fundamentals and Selected Topics
[4] Brady Z., 2017, EXAMPLES COUNTEREXAM
[5] Burris S., 1981, COURSE UNIVERSAL ALG, DOI DOI 10.1007/978-1-4613-8130-3
[6] CZEDLI G, 1983, LECT NOTES MATH, V1004, P104
[7] Freese R., 1987, London Mathematical Society Lecture Note Series, V125
[8] Hobby D., 1988, Contemporary Math- ematics, V76
[9] Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
Jovanovic, Jelena
Markovic, Petar
McKenzie, Ralph
Moore, Matthew
[J]. ALGEBRA UNIVERSALIS, 2016, 76 (03) : 305 - 325
[10] On terms describing omitting unary and affine types
Jovanovic, Jelena
[J]. FILOMAT, 2013, 27 (01) : 183 - 199

← 1 2 3 →