TY - BOOK ID - 33059835 TI - The Lattice of Subquasivarieties of a Locally Finite Quasivariety AU - Hyndman, Jennifer. AU - Nation, J. B. PY - 2018 SN - 3319782347 3319782355 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Quasivarieties (Universal algebra) KW - Algebraic systems, Quasi-varieties of KW - Classes, Implicationally defined KW - Classes, Quasi-primitive KW - Classes, Universal Horn KW - Horn classes, Universal KW - Implicationally defined classes KW - Quasi-primitive classes KW - Quasi-varieties of algebraic systems KW - Quasiprimitive classes KW - Universal Horn classes KW - Varieties (Universal algebra) KW - Logic, Symbolic and mathematical KW - Algorithms. KW - Algebra. KW - Mathematics KW - Mathematical analysis KW - Algorism KW - Algebra KW - Arithmetic KW - Foundations UR - https://www.unicat.be/uniCat?func=search&query=sysid:33059835 AB - 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. ER -