Alexandra Shlapentokh. Extensions of Hilbert's Tenth Problem: Definability and Decidability in Number Theory. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 55-92, Springer, 2016. [doi]
Abstract is missing.