35 citations · 86 across the 22 of their papers we have counts for
4 papers · 1 filter
Effectivizing Lusin's Theorem
Russell Miller
Lusin's Theorem states that, for every Borel-measurable function on and every , there exists a continuous function on which is equal…
HTP-complete rings of rational numbers
Russell Miller
For a ring , Hilbert's Tenth Problem is the set of polynomial equations over , in several variables, with solutions in . We view as an enumeration operator,…
Degree spectra for transcendence in fields
Iskander Kalimullin, Russell Miller, Hans Schoutens
We show that for both the unary relation of transcendence and the finitary relation of algebraic independence on a field, the degree spectra of these relations may consist of any s…
Model completeness and relative decidability
Jennifer Chubb, Russell Miller, Reed Solomon
We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A…