On finitely presented and free algebras of Cantor varieties
From MaRDI portal
Publication:1847294
DOI10.1007/BF02674638zbMath1042.08501MaRDI QIDQ1847294
Publication date: 6 January 2004
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Decidability of theories and sets of sentences (03B25) Free algebras (08B20) Word problems (aspects of algebraic structures) (08A50)
Cites Work
- Decidability of elementary theories of certain finitely defined algebras
- On theories with a combinatorial definition of 'equivalence'
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- The Word Problem for Abstract Algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On finitely presented and free algebras of Cantor varieties