The decision problem for equational bases of algebras

DOI10.1016/0003-4843(76)90009-7zbMATH Open0376.08005OpenAlexW2020996881MaRDI QIDQ4154619FDOQ4154619

Authors: George F. McNulty 

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Structure theory of lattices (06B05) Structure theory of algebraic structures (08A05) Decidability of theories and sets of sentences (03B25) Varieties (08B99)

Cited In (18)

• Finite equational bases for finite algebras in a congruence-distributive equational class
• Sets of universal sequences for the symmetric group and analogous semigroups
• Title not available (Why is that?)
• On equational theories, unification, and (un)decidability
• On the Structure of Equationally Complete Varieties. II
• The reverse spelling of an FPrt-universal word in two letters
• A field guide to equational logic
• Base-undecidable properties of universal varieties
• Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green
• Unification in a combination of arbitrary disjoint equational theories
• Unification theory
• An equational logic sampler
• Some Universal Sets of Terms
• Covering in the lattice of equational theories and some properties of term finite theories
• Structural diversity in the lattice of equational theories
• Thue trees
• When is a term point universal?
• The undecidability of the elementary theory of lattices of all equational theories of large signature

This page was built for publication: The decision problem for equational bases of algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4154619)