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.08007MaRDI 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
subdirectly irreducible algebras; congruence distributive; semidistributive; residually finite variety
08B10: Congruence modularity, congruence distributivity
08B26: Subdirect products and subdirect irreducibility
Related Items
A finite basis theorem for residually finite, congruence meet-semidistributive varieties, Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties, Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras, General algebra and its applications 2013: problem session., A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots)., Natural extensions and profinite completions of algebras, Fragments of R-mingle, A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties, Some structural and residual properties of 2-semilattices, A quasi-Mal'cev condition with unexpected application., Residually Finite Varieties of Nonassociative Algebras