A Variety with Solvable, but not Uniformly Solvable, Word Problem
Copyright policy )A Variety with Solvable, but not Uniformly Solvable, Word Problem
In the literature two notions of the word problem for a variety occur. A variety has a decidable word problem if every finitely presented algebra in the variety has a decidable word problem. It has a uniformly decidable word problem if there is an algorithm which given a finite presentation produces an algorithm for solving the word problem of the algebra so presented. A variety is given with finitely many axioms having a decidable, but not uniformly decidable, word problem. Other related examples are given as well.
- McMaster University Canada
- Simon Fraser University Canada
- Hebrew University of Jerusalem Israel
- McMaster-Carr United States
recursively based variety of finite type, infinite type, Varieties, Mathematics - Logic, Mathematics - Rings and Algebras, uniformly solvable word problem, solvable word problem, finitely based variety of finite type, halting problem, universal Turing machine, Word problems (aspects of algebraic structures), Rings and Algebras (math.RA), FOS: Mathematics, Logic (math.LO), Word problems, etc. in computability and recursion theory
recursively based variety of finite type, infinite type, Varieties, Mathematics - Logic, Mathematics - Rings and Algebras, uniformly solvable word problem, solvable word problem, finitely based variety of finite type, halting problem, universal Turing machine, Word problems (aspects of algebraic structures), Rings and Algebras (math.RA), FOS: Mathematics, Logic (math.LO), Word problems, etc. in computability and recursion theory
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).5 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!