An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
From MaRDI portal
Publication:2577694
DOI10.1007/s00012-004-1890-0zbMath1090.08006MaRDI QIDQ2577694
Ju Wang, George F. McNulty, Kirby A. Baker
Publication date: 6 January 2006
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-004-1890-0
08B05: Equational logic, Mal'tsev conditions
08B10: Congruence modularity, congruence distributivity
03C05: Equational classes, universal algebra in model theory
Related Items
MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS, The Division Relation: Congruence Conditions and Axiomatisability, Universal algebraic methods for non-classical logics, Congruence meet-semidistributive locally finite varieties and a finite basis theorem, Finite basis problems and results for quasivarieties, Ultraproducts preserve finite subdirect reducibility, A finite basis theorem for difference-term varieties with a finite residual bound, PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES