activity
20062023
most citedThe hierarchy of equivalence relations on the natural numbers under computable reducibility

35 citations · 86 across the 22 of their papers we have counts for

collaborators
Showing 2016 · math.LOShow all

2 papers · 2 filters

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…