Exponential Diophantine equations over ℚ 

In a previous exposition [1] we have seen that the solvability over ℚ is undecidable for systems of exponential Diophantine equations. We now show that the solvability of individual exponential Diophantine equations is also undecidable, and that this happens as well for some narrower families of exponential Diophantine equations.

References:

[1] M. Prunescu, The exponential Diophantine problem for ℚ. The Journal of Symbolic Logic, Volume 85, Issue 2, 671–672, 2020.