This book discusses the ways in which the algebras in a locally finite quasivariety determine its lattice of subquasivarieties. The book starts with a clear and comprehensive presentation of the basic structure theory of quasivariety lattices, and then develops new methods and algorithms for their analysis. Particular attention is paid to the role of quasicritical algebras. The methods are illustrated by applying them to quasivarieties of abelian groups, modular lattices, unary algebras and pure relational structures. An appendix gives an overview of the theory of quasivarieties. Extensive references to the literature are provided throughout.
Formalizes methods for analyzing locally finite quasivarieties
Authors are leading experts in the area
Presents the basic theory of quasivarieties in an accessible manner Provides examples throughout, showing how the algorithms are applied in practice Includes appendix with recent developments and references to the literature
Jennifer Hyndman
Quasivariety Locally Finite Lattice Unary Algebra Relational Structure Subquasivariety Quasi-equation