activity
20042024
most citedDiophantine definability of infinite discrete non-archimedean sets and Diophantine models over large subrings of number fields

12 citations · 33 across the 23 of their papers we have counts for

collaborators
Showing 2017 · math.NTShow all

1 paper · 2 filters

math.NT2017

On existential definitions of C.E. subsets of rings of functions of characteristic 0

Russell Miller, Alexandra Shlapentokh

We extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral f…