✦ LIBER ✦

Finitary decidability implies congruence permutability for congruence modular varieties

✍ Scribed by Joohee Jeong

Publisher: Springer
Year: 1992
Tongue: English
Weight: 417 KB
Volume: 29
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf01212443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Optimal Mal’tsev conditions for congruen

Optimal Mal’tsev conditions for congruence modular varieties

✍ Gábor Czédli; Eszter K. Horváth; Paolo Lipparini 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 175 KB

Congruence modularity implies cyclic ter

Congruence modularity implies cyclic terms for finite algebras

✍ Libor Barto; Marcin Kozik; Miklós Maróti; Ralph McKenzie; Todd Niven 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 271 KB

A Mal'cev condition for congruence princ

A Mal'cev condition for congruence principal permutable varieties

✍ Ivan Chajda 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 135 KB

Congruence Modularity Implies the Argues

Congruence Modularity Implies the Arguesian Law for Single Algebras with a Difference Term

✍ Paolo Lipparini 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 147 KB

Recently, a generalization of commutator theory has been developed for algebraic systems belonging to a congruence modular variety. This general commutator theory is used here both to provide a very simple proof of a classical result by R. Freese and B. Jonsson and to solve a problem raised by S. Ts