Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
From MaRDI portal
Publication:4257604
DOI10.1090/S0002-9939-99-05097-2zbMath0924.08007OpenAlexW1886498057MaRDI QIDQ4257604
Ross Willard, Keith A. Kearnes
Publication date: 31 August 1999
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0002-9939-99-05097-2
Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26)
Related Items
Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties, Universal algebraic methods for non-classical logics, Some structural and residual properties of 2-semilattices, Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras, Natural extensions and profinite completions of algebras, General algebra and its applications 2013: problem session., A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots)., A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties, Fragments of R-mingle, Residually Finite Varieties of Nonassociative Algebras, A finite basis theorem for residually finite, congruence meet-semidistributive varieties, A quasi-Mal'cev condition with unexpected application.