Russell G. Miller

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 12

Top Topics

Equivalence Relation

Symmetry Breaking

Boolean Satisfiability

Top Venues

J. Log. Comput.

Arch. Math. Log.

Publications

Russell G. Miller
Direct Construction of Scott Ideals. CiE (2023)
Russell G. Miller
Effectivizing Lusin's Theorem. J. Log. Anal. 14 (2022)
Russell G. Miller, Alexandra Shlapentokh
On existential definitions of c.e. subsets of rings of functions of characteristic 0. Ann. Pure Appl. Log. 173 (4) (2022)
Jennifer Chubb, Russell G. Miller, Reed Solomon
Model completeness and relative decidability. Arch. Math. Log. 60 (6) (2021)
Iskander Sh. Kalimullin, Russell G. Miller, Hans Schoutens
Degree Spectra for Transcendence in Fields. CiE (2019)
Matthew Harrison-Trainor, Russell G. Miller, Antonio Montalbán
Borel Functors and Infinitary Interpretations. J. Symb. Log. 83 (4) (2018)
Russell G. Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh
A Computable Functor from graphs to Fields. J. Symb. Log. 83 (1) (2018)
Karen M. Lange, Russell G. Miller, Rebecca M. Steiner
Classifications of Computable Structures. Notre Dame J. Formal Log. 59 (1) (2018)
Matthew Harrison-Trainor, Alexander G. Melnikov, Russell G. Miller, Antonio Montalbán
Computable Functors and Effective interpretability. J. Symb. Log. 82 (1) (2017)
Russell G. Miller
Computable Transformations of Structures. CiE (2017)
David Marker, Russell G. Miller
Turing degree spectra of differentially Closed Fields. J. Symb. Log. 82 (1) (2017)
Russell G. Miller, Keng Meng Ng
Finitary Reducibility on Equivalence Relations. J. Symb. Log. 81 (4) (2016)
Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad
Isomorphisms of Non-Standard Fields and Ash's Conjecture. CiE (2014)
Russell G. Miller, Reed Solomon, Rebecca M. Steiner
On the Effectiveness of Symmetry Breaking. CiE (2014)
Egor Ianovski, Russell G. Miller, Keng Meng Ng, André Nies
Complexity of Equivalence Relations and Preorders from Computability Theory. J. Symb. Log. 79 (3) (2014)
Ekaterina B. Fokina, Sy-David Friedman, Julia F. Knight, Russell G. Miller
. J. Log. Comput. 23 (6) (2013)
Johanna N. Y. Franklin, Asher M. Kach, Russell G. Miller, Reed Solomon
Local Computability for Ordinals. CiE (2013)
Russell G. Miller, Hans Schoutens
Computably Categorical Fields via Fermat's Last Theorem. Comput. 2 (1) (2013)
Russell G. Miller, Hans Schoutens
Computably Categorical Fields via Fermat's Last Theorem CoRR (2012)
Andrey N. Frolov, Iskander Sh. Kalimullin, Valentina S. Harizanov, Oleg V. Kudinov, Russell G. Miller
degrees. J. Log. Comput. 22 (4) (2012)
Samuel Coskey, Joel David Hamkins, Russell G. Miller
The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility. Comput. 1 (1) (2012)
Wesley Calvert, Ken Kramer, Russell G. Miller
Noncomputable functions in the Blum-Shub-Smale model Log. Methods Comput. Sci. 7 (2) (2011)
Barbara F. Csima, Valentina S. Harizanov, Russell G. Miller, Antonio Montalbán
Computability of Fraïssé limits. J. Symb. Log. 76 (1) (2011)
Wesley Calvert, Russell G. Miller, Jennifer Chubb Reimann
The Distance Function on a Computable Graph CoRR (2011)
Wesley Calvert, Ken Kramer, Russell G. Miller
The Cardinality of an Oracle in Blum-Shub-Smale Computation CCA (2010)
Merlin Carl, Tim Fischbach, Peter Koepke, Russell G. Miller, Miriam Nasfi, Gregor Weckbecker
The basic theory of infinite time register machines. Arch. Math. Log. 49 (2) (2010)
Ekaterina B. Fokina, Iskander Sh. Kalimullin, Russell G. Miller
Degrees of categoricity of computable structures. Arch. Math. Log. 49 (1) (2010)
Wesley Calvert, Russell G. Miller
Real Computable Manifolds and Homotopy Groups. UC (2009)
Andrey N. Frolov, Iskander Sh. Kalimullin, Russell G. Miller
Spectra of Algebraic Fields and Subfields. CiE (2009)
Joel David Hamkins, Russell G. Miller
Post's Problem for ordinal register machines: An explicit approach. Ann. Pure Appl. Log. 160 (3) (2009)
Peter Koepke, Russell G. Miller
An Enhanced Theory of Infinite Time Register Machines. CiE (2008)
Joel David Hamkins, David Linetsky, Russell G. Miller
The Complexity of Quickly ORM-Decidable Sets. CiE (2007)
Joel David Hamkins, Russell G. Miller
Post's Problem for Ordinal Register Machines. CiE (2007)
Russell G. Miller
Locally Computable Structures. CiE (2007)
Valentina S. Harizanov, Russell G. Miller
Spectra of structures and relations. J. Symb. Log. 72 (1) (2007)
Denis R. Hirschfeldt, Russell G. Miller, Sergei Podzorov
Order-Computable Sets. Notre Dame J. Formal Log. 48 (3) (2007)
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
Enumerations in computable structure theory. Ann. Pure Appl. Log. 136 (3) (2005)
Steffen Lempp, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
Computable categoricity of trees of finite height. J. Symb. Log. 70 (1) (2005)