A Primer of Subquasivariety Lattices
This book addresses Birkhoff and Mal'cev's problem of describing subquasivariety lattices. The text begins by developing the basics of atomic theories and implicational theories in languages that may, or may not, contain equality. Subquasivariety lattices are represented as lattices of clo...
Main Authors: | , , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2022, 2022
|
Edition: | 1st ed. 2022 |
Series: | CMS/CAIMS Books in Mathematics
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Preface
- Introduction
- Varieties and quasivarieties in general languages
- Equaclosure operators
- Preclops on finite lattices
- Finite lattices as Sub(S,∧, 1,����): The case J(L) ⊆ ���� (L)
- Finite lattices as Sub(S,∧, 1,����): The case J(L) ̸⊆ ���� (L)
- The six-step program: From (L, ����) to (Lq(����), Γ)
- Lattices 1 + L as Lq(����)
- Representing distributive dually algebraic lattices
- Problems and an advertisement
- Appendices