The decision problem for equational bases of algebras
From MaRDI portal
Publication:4154619
DOI10.1016/0003-4843(76)90009-7zbMath0376.08005OpenAlexW2020996881MaRDI QIDQ4154619
Publication date: 1976
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(76)90009-7
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Structure theory of lattices (06B05) Structure theory of algebraic structures (08A05) Varieties (08B99)
Related Items (18)
An equational logic sampler ⋮ Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green ⋮ Unification theory ⋮ When is a term point universal? ⋮ Some Universal Sets of Terms ⋮ Structural diversity in the lattice of equational theories ⋮ On the Structure of Equationally Complete Varieties. II ⋮ Unnamed Item ⋮ A field guide to equational logic ⋮ Unification in a combination of arbitrary disjoint equational theories ⋮ Base-undecidable properties of universal varieties ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ Sets of universal sequences for the symmetric group and analogous semigroups ⋮ The reverse spelling of an FPrt-universal word in two letters ⋮ The undecidability of the elementary theory of lattices of all equational theories of large signature ⋮ On equational theories, unification, and (un)decidability ⋮ Covering in the lattice of equational theories and some properties of term finite theories ⋮ Thue trees
This page was built for publication: The decision problem for equational bases of algebras
