35 citations · 86 across the 22 of their papers we have counts for
Showing math.NTShow all
3 papers · 1 filter
math.NT2020★ 2 cited
A topological approach to undefinability in algebraic extensions of
Kirsten Eisentraeger, Russell Miller, Caleb Springer +1
For any subset , consider the set of subfields which contain a co-infinite subset that is universal…
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…
math.NT2016★ 3 cited
As Easy as : Hilbert's Tenth Problem for Subrings of the Rationals and Number Fields
Kirsten Eisentraeger, Russell Miller, Jennifer Park +1
Hilbert's Tenth Problem over the field of rational numbers is one of the biggest open problems in the area of undecidability in number theory. In this paper we construc…