×
Jeong, Joohee

Finitary decidability implies congruence permutability for congruence modular varieties. (English) Zbl 0761.08003

Algebra Univers. 29, No. 3, 441-448 (1992).
Summary: We show that if a locally finite congruence modular variety \(\mathcal V\) is finitely decidable, then \(\mathcal V\) has to be congruence permutable.

Cited in 3 Documents

MSC:

08B10 Congruence modularity, congruence distributivity

Keywords:

locally finite congruence modular variety; finitely decidable; congruence permutable
Cite Review PDF
Full Text: DOI

References:

[1] Burris, S. andMcKenzie, R.,Decidability and Boolean Representations. Memoirs of AMS32 #246 (1981).
[2] Ershov, Y., Lavrov, I., Tatmanov, A. andTaitslin, M.,Elementary Theories. Russian Mathematical Surveys20 #4 (1965), 35-105. · doi:10.1070/RM1965v020n04ABEH001188
[3] Freese, R. andMcKenzie, R.,Commutator Theory for Congruence Modular Varieties. London Math. Soc. Lecture Series125 (1987). · Zbl 0636.08001
[4] Gumm, H.,Congruence Modularity Is Permutability Composed with Dislributivity. Archiv der Math. 36(1981), 569-576. · Zbl 0465.08005 · doi:10.1007/BF01223741
[5] Hobby, D. andMcKenzie, R.,The Structure of Finite Algebras. AMS Contemporary Math.76 (1988). · Zbl 0627.06013
[6] Idziak, P.,Varieties with Decidable Finite Algebras II: Permutability. Algebra Univ.26 (1989), 247-256. · Zbl 0679.08003 · doi:10.1007/BF01236871
[7] McKenzie, R.,McNulty, G. andTaylor, W.,Algebras, Lattices, Varieties. Vol 1. Wadsworth & Brooks/Cole (1987).
[8] McKenzie, R. andValeriote, M.,The Structure of Decidable Locally Finite Varieties. Birkhäuser Progress in Math. #79 (1989). · Zbl 0702.08001
[9] fnRabin, M.,A Simple Method for Undecidability Proofs and Some Applications. Logic, Methodology & the Philosophy of Science (1965), 58-68.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.