Covering in the lattice of equational theories and some properties of term finite theories
From MaRDI portal
Publication:1838506
DOI10.1007/BF02483713zbMath0509.08013MaRDI QIDQ1838506
Publication date: 1982
Published in: Algebra Universalis (Search for Journal in Brave)
Related Items (10)
Bjarni Jónsson's contributions in algebra ⋮ A perspective on algebraic representations of lattices ⋮ A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers ⋮ Congruences, equational theories and lattice representations ⋮ Medial groupoid varieties defined by finite cyclic groups ⋮ The existence of finitely based lower covers for finitely based equational theories ⋮ Structural diversity in the lattice of equational theories ⋮ Covering relation for equational theories of commutative semigroups ⋮ Open questions related to the problem of Birkhoff and Maltsev ⋮ Medial groupoid varieties defined by infinite cyclic groups
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Base-undecidable properties of universal varieties
- Covering elements in the lattice of varieties of algebras
- Corrigendum to: ``Structural diversity in the lattice of equational theories
- Model theory
- The lattice of semigroup varieties
- Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups.
- Universal equational theories and varieties of algebras
- On the Structure of Equationally Complete Varieties. II
- Definability in lattices of equational theoris
- The Largest Proper Variety of Lattice Ordered Groups
- The decision problem for equational bases of algebras
- Undecidable properties of finite sets of equations
- Sur un théorème de M. Sierpiński
- Sur les suites infinies de fonctions définies dans les ensembles quelconques
- Varieties of groups
- Algebras Whose Congruence Lattices are Distributive.
This page was built for publication: Covering in the lattice of equational theories and some properties of term finite theories
