Search
Feedback
About UniCat 
Help
News
| Listing 1 - 5 of 5 |
Sort by
|
Book
ISBN: 3319782347 3319782355 Year: 2018 Publisher: Cham : Springer International Publishing : Imprint: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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.
Quasivarieties (Universal algebra) --- Algebraic systems, Quasi-varieties of --- Classes, Implicationally defined --- Classes, Quasi-primitive --- Classes, Universal Horn --- Horn classes, Universal --- Implicationally defined classes --- Quasi-primitive classes --- Quasi-varieties of algebraic systems --- Quasiprimitive classes --- Universal Horn classes --- Varieties (Universal algebra) --- Logic, Symbolic and mathematical --- Algorithms. --- Algebra. --- Mathematics --- Mathematical analysis --- Algorism --- Algebra --- Arithmetic --- Foundations
Digital
ISBN: 9783319782355 Year: 2018 Publisher: Cham Springer International Publishing
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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.
Algebra --- Computer science --- algebra --- algoritmen
ISBN: 9780821803899 0821803891 Year: 1995 Publisher: Providence (R.I.): American mathematical society,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Digital
ISBN: 9783030980887 9783030980870 9783030980894 9783030980900 Year: 2022 Publisher: Cham Springer International Publishing
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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.
Book
ISBN: 9783030980887 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Varietats algebraiques --- Àlgebra universal --- Àlgebra --- Àlgebra lineal --- Anàlisi vectorial --- Categories (Matemàtica) --- Matrius (Matemàtica) --- Quaternions --- Nombres complexos --- Varietats algèbriques --- Geometria algebraica --- Varietats tòriques --- Grups algebraics lineals --- Quasivarieties (Universal algebra) --- Algebraic systems, Quasi-varieties of --- Classes, Implicationally defined --- Classes, Quasi-primitive --- Classes, Universal Horn --- Horn classes, Universal --- Implicationally defined classes --- Quasi-primitive classes --- Quasi-varieties of algebraic systems --- Quasiprimitive classes --- Universal Horn classes --- Varieties (Universal algebra) --- Logic, Symbolic and mathematical
| Listing 1 - 5 of 5 |
Sort by
|