35 citations · 86 across the 22 of their papers we have counts for
30 papers
Computability for the absolute Galois group of
Russell Miller
The absolute Galois group Gal of the field of rational numbers can be presented as a highly computable object, under the notion of…
Differentially closed fields and universality on a cone
Russell Miller
The class of all countable differentially closed differential fields of characteristic was shown by Marker and the author to be "one jump away" from universal for spectra o…
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…
Forcing as a computational process
Joel David Hamkins, Russell Miller, Kameryn J. Williams
We investigate how set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for information about a model of set theory $\langle M,…
Interpreting a field in its Heisenberg group
Rachael Alvir, Wesley Calvert, Grant Goodman +6
We improve on and generalize a 1960 result of Maltsev. For a field , we denote by the Heisenberg group with entries in . Maltsev showed that there is a copy of def…
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…