For any countable comunitive ring is Hilbert’s Tenth problem undecidable and if undecidable is there a minimum set of variables such that the problem is decidable.
As always I welcome the readers to prove or disprove this problem.
https://en.m.wikipedia.org/wiki/Hilbert’s_tenth_problem
Nunghead