Extensions of Büchi's problem: Questions of decidability for addition and kth powers
Thanases Pheidas, Xavier Vidaux · Fundamenta Mathematicae · 2005
We generalize a question of Büchi: Let $R$ be an integral domain, $C$ a subring and $k\geq2$ an integer. Is there an algorithm to decide the solvability in $R$ of any given system of polynomial equations, each of which is linear in the $k$th powers of the