Basic questions for general algebras
From MaRDI portal
Publication:797614
DOI10.1007/BF01191487zbMath0545.08008OpenAlexW1990386459MaRDI QIDQ797614
Publication date: 1984
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01191487
groupoidslocally finite varietybinary tree with labelled leavesnon-finitely based finite algebrasset of linear basic terms
Trees (05C05) Varieties and pseudovarieties of semigroups (20M07) Equational logic, Mal'tsev conditions (08B05)
Related Items (15)
Inherently nonfinitely based lattices ⋮ An equational logic sampler ⋮ Unnamed Item ⋮ Finite axiomatizability of congruence rich varieties ⋮ Quasi-identities of finite semigroups and symbolic dynamics ⋮ Finite axiomatizability for equational theories of computable groupoids ⋮ A NONFINITELY BASED FINITE SEMIRING ⋮ Algebras from finite group actions and a question of Eilenberg and Schützenberger ⋮ Lyndon's groupoid is not inherently nonfinitely based ⋮ FINITELY BASED, FINITE SETS OF WORDS ⋮ A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). ⋮ A field guide to equational logic ⋮ Algebraic properties of some quadratic dynamical systems ⋮ An inherently nonfinitely based commutative directoid ⋮ Nonfinitely based three-element idempotent groupoids
Cites Work
- A new product of algebras and a type reduction theorem
- Finite groupoids without finite bases for their identities
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Baker's finite basis theorem
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
- Bases for equational theories of semi-groups
- Unsolvable problems for equational theories
- Equational Bases for Lattice Theories.
- A CLOSED SET OF LAWS WHICH IS NOT GENERATED BY A FINITE SET OF LAWS
- Equational Bases and Nonmodular Lattice Varieties
- Identities in Finite Algebras
This page was built for publication: Basic questions for general algebras
