Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions

DOI10.1002/malq.200510013zbMath1093.03007MaRDI QIDQ3376536

Mihai Prunescu

Publication date: 24 March 2006

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200510013

zbMATH Keywords

polynomial identities; diophantine equations; additive bases; interpretation; Hilbert's Tenth Problem; numeration basis

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

03B25: Decidability of theories and sets of sentences