35 citations · 86 across the 22 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017★ 7 cited
Isomorphism and classification for countable structures
Russell Miller
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types…
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…