35 citations · 86 across the 22 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.LO2016★ 12 cited
Borel Functors and Infinitary Interpretations
Matthew Harrison-Trainor, Russell Miller, Antonio Montalbán
We introduce the notion of infinitary interpretation of structures. In general, an interpretation between structures induces a continuous homomorphism between their automorphism gr…
math.LO2016
Baire category theory and Hilbert's Tenth Problem inside
Russell Miller
For a ring R, Hilbert's Tenth Problem HTP(R) is the set of polynomial equations over R, in several variables, with solutions in R. We consider computability of this set for subring…
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…