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

Autorentext

Jennifer Hyndman was a founding faculty member of the University of Northern British Columbia. There she honed her passion for teaching that led to her winning the Canadian Mathematical Society Excellence in Teaching Award. When not engrossed in research on natural duality theory or quasi-equational theory she can be found in a dance studio learning jazz, modern, and ballet choreography. J. B. Nation is professor emeritus at the University of Hawaii. His research interests include lattice theory, universal algebra, coding theory and bio-informatics. He enjoys running, refereeing soccer, and playing jazz flugelhorn.

Klappentext

Formalizes methods for analyzing locally finite quasivarieties Authors are leading experts in the area

Zusammenfassung
Formalizes methods for analyzing locally finite quasivarieties
Authors are leading experts in the area

Inhalt
Introduction and Background.- Structure of Lattices of Subquasivarieties.- Omission and Bases for Quasivarieties.- Analyzing Lq(K).- Unary Algebras with 2-element Range.- 1-Unary Algebras.- Pure Unary Relational Structures.- Problems.- Appendix A: Properties of Lattices of Subquasivarieties.