MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS

DOI10.1017/jsl.2021.14zbMath1487.08002arXiv1810.03178OpenAlexW3126816734MaRDI QIDQ5021922

Miroslav Olšák

Publication date: 17 January 2022

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.03178

zbMATH Keywords

equational logicuniversal algebraMaltsev conditions

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

Related Items (1)

Pseudo‐loop conditions

Cites Work

• Existence theorems for weakly symmetric operations
• Taylor term does not imply any nontrivial linear one-equality Maltsev condition
• Characterizations of several Maltsev conditions.
• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
• THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA
• The structure of finite algebras
• Absorption and directed Jónsson terms
• The weakest nontrivial idempotent equations
• The shape of congruence lattices

This page was built for publication: MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS