Submission date: 1 April 2020.

Abstract:

We prove unsolvability of the analogue of Hilbert's Tenth Problem for rings of exponential polynomials. The technique of proof consists of an interaction between Arithmetic, Analysis, Logic, and Functional Transcendence.

Mathematics Subject Classification: 11U05, 03B25, 11J81 (Primary) 30D15 (Secondary).

Keywords and phrases:

Full text arXiv 2004.00612: pdf, ps.