Can I read Solvable Word Problem in Varieties on EtoBox?

Solvable Word Problem in Varieties by HutsDM is a document available to read on EtoBox.

What is Solvable Word Problem in Varieties about?

The document describes a finitely based variety of algebras that has a solvable but not uniformly solvable word problem. It presents an example of a variety defined by laws involving only constants (no variables) that also has a solvable but non-uniformly solvable word problem. This contrasts with previous examples in the literature where varieties with unsolvable word problems were given by finite presentations with unsolvable word problems.

Author

HutsDM

Language

EN