From the other side of the fence, another thing to look at would be the decidability of presburger, and skolem arithmetic, the following paper then goes over th

From the other side of the fence, another thing to look at would be the decidability of presburger, and skolem arithmetic, the following paper then goes over the extensions of these, which render the result undecidable. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.2136 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.21...