Checking Admissibility Using Natural Dualities

Leonardo M. Cabrer, Benjamin Freisberg, George Metcalfe +1

This paper presents a new method for obtaining small algebras to check the admissibility-equivalently, validity in free algebras-of quasi-identities in a finitely generated quasiva…