The Lattice of Subquasivarieties of a Locally Finite Quasivariety
The Lattice of Subquasivarieties of a Locally Finite Quasivariety

Author: Jennifer Hyndman

Publisher: Springer

Published: 2018-08-28

Total Pages: 173

ISBN-13: 3319782355

DOWNLOAD EBOOK

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.

A Primer of Subquasivariety Lattices
A Primer of Subquasivariety Lattices

Author: Kira Adaricheva

Publisher: Springer Nature

Published: 2022-08-18

Total Pages: 293

ISBN-13: 303098088X

DOWNLOAD EBOOK

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.

Ordered Sets and Lattices II
Ordered Sets and Lattices II

Author:

Publisher: American Mathematical Soc.

Published:

Total Pages: 262

ISBN-13: 9780821895887

DOWNLOAD EBOOK

This indispensable reference source contains a wealth of information on lattice theory. The book presents a survey of virtually everything published in the fields of partially ordered sets, semilattices, lattices, and Boolean algebras that was reviewed in Referativnyi Zhurnal Matematika from mid-1982 to the end of 1985. A continuation of a previous volume (the English translation of which was published by the AMS in 1989, as volume 141 in Translations - Series 2), this comprehensive work contains more than 2200 references. Many of the papers covered here were originally published in virtually inaccessible places. The compilation of the volume was directed by Milan Kolibiar of Comenius University at Bratislava and Lev A. Skornyakov of Moscow University. Of interest to mathematicians, as well as to philosophers and computer scientists in certain areas, this unique compendium is a must for any mathematical library.

The Lattice of Subquasivarieties of a Locally Finite Quasivariety
The Lattice of Subquasivarieties of a Locally Finite Quasivariety

Author: Jennifer Hyndman

Publisher:

Published: 2018

Total Pages:

ISBN-13: 9783319782362

DOWNLOAD EBOOK

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.

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

Author: Alex Citkin

Publisher: Springer Nature

Published: 2022-11-08

Total Pages: 319

ISBN-13: 3031068432

DOWNLOAD EBOOK

This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic. The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov’s results and their applications in algebraic logic, the theory of admissible rules and refutation systems is included in the book. In addition, the reader can find the studies on splitting and join-splitting in intermediate propositional logics that are based on Yankov-type formulas which are closely related to canonical formulas, and the study of properties of predicate extensions of non-classical propositional logics. The book also contains an exposition of Yankov’s revolutionary approach to constructive proof theory. The editors also include Yankov’s contributions to history and philosophy of mathematics and foundations of mathematics, as well as an examination of his original interpretation of history of Greek philosophy and mathematics.

Free Lattices
Free Lattices

Author: Ralph S. Freese

Publisher: American Mathematical Soc.

Published: 1995

Total Pages: 304

ISBN-13: 0821803891

DOWNLOAD EBOOK

A thorough treatment of free lattices, including such aspects as Whitman's solution to the word problem, bounded monomorphisms and related concepts, totally atomic elements, infinite intervals, computation, term rewrite systems, and varieties. Includes several results that are new or have not been previously published. Annotation copyright by Book News, Inc., Portland, OR

Lattice Theory: Special Topics and Applications
Lattice Theory: Special Topics and Applications

Author: George Grätzer

Publisher: Birkhäuser

Published: 2016-10-08

Total Pages: 625

ISBN-13: 3319442368

DOWNLOAD EBOOK

George Grätzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second edition, 1998). In 2009, Grätzer considered updating the second edition to reflect some exciting and deep developments. He soon realized that to lay the foundation, to survey the contemporary field, to pose research problems, would require more than one volume and more than one person. So Lattice Theory: Foundation provided the foundation. Now we complete this project with Lattice Theory: Special Topics and Applications, in two volumes, written by a distinguished group of experts, to cover some of the vast areas not in Foundation. This second volume is divided into ten chapters contributed by K. Adaricheva, N. Caspard, R. Freese, P. Jipsen, J.B. Nation, N. Reading, H. Rose, L. Santocanale, and F. Wehrung.

Algebras, Lattices, Varieties
Algebras, Lattices, Varieties

Author: Ralph S. Freese

Publisher: American Mathematical Society

Published: 2022-10-28

Total Pages: 496

ISBN-13: 1470467976

DOWNLOAD EBOOK

This book is the second of a three-volume set of books on the theory of algebras, a study that provides a consistent framework for understanding algebraic systems, including groups, rings, modules, semigroups and lattices. Volume I, first published in the 1980s, built the foundations of the theory and is considered to be a classic in this field. The long-awaited volumes II and III are now available. Taken together, the three volumes provide a comprehensive picture of the state of art in general algebra today, and serve as a valuable resource for anyone working in the general theory of algebraic systems or in related fields. The two new volumes are arranged around six themes first introduced in Volume I. Volume II covers the Classification of Varieties, Equational Logic, and Rudiments of Model Theory, and Volume III covers Finite Algebras and their Clones, Abstract Clone Theory, and the Commutator. These topics are presented in six chapters with independent expositions, but are linked by themes and motifs that run through all three volumes.