On locally finite varieties with undecidable equational theory.

DOI10.1007/s00012-002-8169-0zbMath1058.08003OpenAlexW2059569262MaRDI QIDQ1771892

Marcel Jackson

Publication date: 19 April 2005

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-002-8169-0

zbMATH Keywords

word problemdecidabilitymembership problempseudorecursive variety

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Quasivarieties and varieties of groups (20E10) Varieties (08B99) Word problems (aspects of algebraic structures) (08A50)

Related Items (2)

PSEUDORECURSIVE VARIETIES OF SEMIGROUPS — II ⋮ Algorithmic Decidability of Engel’s Property for Automaton Groups

This page was built for publication: On locally finite varieties with undecidable equational theory.