Russell G. Miller

41 papers C 14Journal 27
YearRankTypeTitle / Venue / Authors
2023 C conf
Direct Construction of Scott Ideals.
CiE
Russell G. Miller
2022 J jnl
Effectivizing Lusin's Theorem.
J. Log. Anal.
Russell G. Miller
2022 J jnl
Htp-Complete Rings of rational numbers.
J. Symb. Log.
Russell G. Miller
2022 J jnl
Interpreting a field in its Heisenberg Group.
J. Symb. Log.
Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar
2022 J jnl
On existential definitions of c.e. subsets of rings of functions of characteristic 0.
Ann. Pure Appl. Log.
Russell G. Miller, Alexandra Shlapentokh
2021 J jnl
Model completeness and relative decidability.
Arch. Math. Log.
Jennifer Chubb, Russell G. Miller, Reed Solomon
2019 C conf
Degree Spectra for Transcendence in Fields.
CiE
Iskander Sh. Kalimullin, Russell G. Miller, Hans Schoutens
2018 J jnl
A Computable Functor from graphs to Fields.
J. Symb. Log.
Russell G. Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh
2018 J jnl
Borel Functors and Infinitary Interpretations.
J. Symb. Log.
Matthew Harrison-Trainor, Russell G. Miller, Antonio Montalbán
2018 J jnl
Classifications of Computable Structures.
Notre Dame J. Formal Log.
Karen M. Lange, Russell G. Miller, Rebecca M. Steiner
2018 C ed.
Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings
CiE
Florin Manea, Russell G. Miller, Dirk Nowotka
2017 J jnl
Computable Functors and Effective interpretability.
J. Symb. Log.
Matthew Harrison-Trainor, Alexander G. Melnikov, Russell G. Miller, Antonio Montalbán
2017 C conf
Computable Transformations of Structures.
CiE
Russell G. Miller
2017 J jnl
Turing degree spectra of differentially Closed Fields.
J. Symb. Log.
David Marker, Russell G. Miller
2016 J jnl
Finitary Reducibility on Equivalence Relations.
J. Symb. Log.
Russell G. Miller, Keng Meng Ng
2014 J jnl
Complexity of Equivalence Relations and Preorders from Computability Theory.
J. Symb. Log.
Egor Ianovski, Russell G. Miller, Keng Meng Ng, André Nies
2014 C conf
Isomorphisms of Non-Standard Fields and Ash's Conjecture.
CiE
Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad
2014 C conf
On the Effectiveness of Symmetry Breaking.
CiE
Russell G. Miller, Reed Solomon, Rebecca M. Steiner
2013 J jnl
Classes of structures with universe a subset of
J. Log. Comput.
Ekaterina B. Fokina, Sy-David Friedman, Julia F. Knight, Russell G. Miller
2013 J jnl
Computably Categorical Fields via Fermat's Last Theorem.
Comput.
Russell G. Miller, Hans Schoutens
2013 C conf
Local Computability for Ordinals.
CiE
Johanna N. Y. Franklin, Asher M. Kach, Russell G. Miller, Reed Solomon
2012 J jnl
Computably Categorical Fields via Fermat's Last Theorem
CoRR
Russell G. Miller, Hans Schoutens
2012 J jnl
Spectra of high
J. Log. Comput.
Andrey N. Frolov, Iskander Sh. Kalimullin, Valentina S. Harizanov, Oleg V. Kudinov, Russell G. Miller
2012 J jnl
The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility.
Comput.
Samuel Coskey, Joel David Hamkins, Russell G. Miller
2011 J jnl
Computability of Fraïssé limits.
J. Symb. Log.
Barbara F. Csima, Valentina S. Harizanov, Russell G. Miller, Antonio Montalbán
2011 J jnl
Noncomputable functions in the Blum-Shub-Smale model
Log. Methods Comput. Sci.
Wesley Calvert, Ken Kramer, Russell G. Miller
2011 J jnl
The Distance Function on a Computable Graph
CoRR
Wesley Calvert, Russell G. Miller, Jennifer Chubb Reimann
2010 J jnl
Degrees of categoricity of computable structures.
Arch. Math. Log.
Ekaterina B. Fokina, Iskander Sh. Kalimullin, Russell G. Miller
2010 C conf
The Cardinality of an Oracle in Blum-Shub-Smale Computation
CCA
Wesley Calvert, Ken Kramer, Russell G. Miller
2010 J jnl
The basic theory of infinite time register machines.
Arch. Math. Log.
Merlin Carl, Tim Fischbach, Peter Koepke, Russell G. Miller, Miriam Nasfi, Gregor Weckbecker
2009 J jnl
Post's Problem for ordinal register machines: An explicit approach.
Ann. Pure Appl. Log.
Joel David Hamkins, Russell G. Miller
2009 C conf
Real Computable Manifolds and Homotopy Groups.
UC
Wesley Calvert, Russell G. Miller
2009 C conf
Spectra of Algebraic Fields and Subfields.
CiE
Andrey N. Frolov, Iskander Sh. Kalimullin, Russell G. Miller
2008 C conf
An Enhanced Theory of Infinite Time Register Machines.
CiE
Peter Koepke, Russell G. Miller
2007 C conf
Locally Computable Structures.
CiE
Russell G. Miller
2007 J jnl
Order-Computable Sets.
Notre Dame J. Formal Log.
Denis R. Hirschfeldt, Russell G. Miller, Sergei Podzorov
2007 C conf
Post's Problem for Ordinal Register Machines.
CiE
Joel David Hamkins, Russell G. Miller
2007 J jnl
Spectra of structures and relations.
J. Symb. Log.
Valentina S. Harizanov, Russell G. Miller
2007 C conf
The Complexity of Quickly ORM-Decidable Sets.
CiE
Joel David Hamkins, David Linetsky, Russell G. Miller
2005 J jnl
Computable categoricity of trees of finite height.
J. Symb. Log.
Steffen Lempp, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
2005 J jnl
Enumerations in computable structure theory.
Ann. Pure Appl. Log.
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon