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...

Full description

Bibliographic Details
Main Authors: Adaricheva, Kira, Hyndman, Jennifer (Author), Nation, J. B. (Author), Nishida, Joy N. (Author)
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
LEADER 02493nmm a2200337 u 4500
001 EB002065813
003 EBX01000000000000001205903
005 00000000000000.0
007 cr|||||||||||||||||||||
008 220901 ||| eng
020 |a 9783030980887 
100 1 |a Adaricheva, Kira 
245 0 0 |a A Primer of Subquasivariety Lattices  |h Elektronische Ressource  |c by Kira Adaricheva, Jennifer Hyndman, J. B. Nation, Joy N. Nishida 
250 |a 1st ed. 2022 
260 |a Cham  |b Springer International Publishing  |c 2022, 2022 
300 |a IX, 290 p. 136 illus., 64 illus. in color  |b online resource 
505 0 |a 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 
653 |a General Algebraic Systems 
653 |a Algebra 
653 |a Universal algebra 
653 |a Order, Lattices, Ordered Algebraic Structures 
700 1 |a Hyndman, Jennifer  |e [author] 
700 1 |a Nation, J. B.  |e [author] 
700 1 |a Nishida, Joy N.  |e [author] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a CMS/CAIMS Books in Mathematics 
028 5 0 |a 10.1007/978-3-030-98088-7 
856 4 0 |u https://doi.org/10.1007/978-3-030-98088-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 511.33 
520 |a 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 closed algebraic subsets of a lattice with operators, which yields new restrictions on the equaclosure operator. As an application of this new approach, it is shown that completely distributive lattices with a dually compact least element are subquasivariety lattices. The book contains many examples to illustrate these principles, as well as open problems. Ultimately this new approach gives readers a set of tools to investigate classes of lattices that can be represented as subquasivariety lattices