Russell G. Miller

According to our database, Russell G. Miller authored at least 56 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Topological Approach to Undefinability in Algebraic Extensions of.

Kirsten Eisenträger, Russell Miller, Caleb Springer, Linda Westrick

Bull. Symb. Log., December, 2023

Direct Construction of Scott Ideals.

Russell G. Miller

Proceedings of the Unity of Logic and Computation, 2023

2022

Htp-Complete Rings of rational numbers.

Russell G. Miller

J. Symb. Log., 2022

Interpreting a field in its Heisenberg Group.

Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar

J. Symb. Log., 2022

Effectivizing Lusin's Theorem.

Russell G. Miller

J. Log. Anal., 2022

On existential definitions of c.e. subsets of rings of functions of characteristic 0.

Russell G. Miller, Alexandra Shlapentokh

Ann. Pure Appl. Log., 2022

2021

Model completeness and relative decidability.

Jennifer Chubb, Russell G. Miller, Reed Solomon

Arch. Math. Log., 2021

Computable Procedures for Fields.

Russell Miller

Proceedings of the Connecting with Computability, 2021

2020

Non-coding Enumeration Operators.

Russell Miller

Proceedings of the Beyond the Horizon of Computability, 2020

2019

Isomorphism and classification for countable structures.

Russell Miller

Comput., 2019

Degree spectra of real closed fields.

Russell Miller, Victor Ocasio González

Arch. Math. Log., 2019

Degree Spectra for Transcendence in Fields.

Iskander Sh. Kalimullin, Russell G. Miller, Hans Schoutens

Proceedings of the Computing with Foresight and Industry, 2019

2018

Classifications of Computable Structures.

Karen M. Lange, Russell G. Miller, Rebecca M. Steiner

Notre Dame J. Formal Log., 2018

A Computable Functor from graphs to Fields.

Russell G. Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh

J. Symb. Log., 2018

Borel Functors and Infinitary Interpretations.

Matthew Harrison-Trainor, Russell G. Miller, Antonio Montalbán

J. Symb. Log., 2018

2017

Turing degree spectra of differentially Closed Fields.

David Marker, Russell G. Miller

J. Symb. Log., 2017

Computable Functors and Effective interpretability.

Matthew Harrison-Trainor, Alexander G. Melnikov, Russell G. Miller, Antonio Montalbán

J. Symb. Log., 2017

Computable Transformations of Structures.

Russell G. Miller

Proceedings of the Unveiling Dynamics and Complexity, 2017

Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey.

Russell Miller

Proceedings of the Computability and Complexity, 2017

2016

Finitary Reducibility on Equivalence Relations.

Russell G. Miller, Keng Meng Ng

J. Symb. Log., 2016

Baire Category Theory and Hilbert's Tenth Problem Inside \mathbb Q Q.

Russell Miller

Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

2014

Complexity of Equivalence Relations and Preorders from Computability Theory.

Egor Ianovski, Russell G. Miller, Keng Meng Ng, André Nies

J. Symb. Log., 2014

On the Effectiveness of Symmetry Breaking.

Russell G. Miller, Reed Solomon, Rebecca M. Steiner

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

Isomorphisms of Non-Standard Fields and Ash's Conjecture.

Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2013

Classes of structures with universe a subset of <i>ω</i>₁.

Ekaterina B. Fokina, Sy-David Friedman, Julia F. Knight, Russell G. Miller

J. Log. Comput., 2013

Computably Categorical Fields via Fermat's Last Theorem.

Russell G. Miller, Hans Schoutens

Comput., 2013

Local Computability for Ordinals.

Johanna N. Y. Franklin, Asher M. Kach, Russell G. Miller, Reed Solomon

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

Spectra of high<i>_n</i> and non-low<i>_n</i> degrees.

Andrey N. Frolov, Iskander Sh. Kalimullin, Valentina S. Harizanov, Oleg V. Kudinov, Russell G. Miller

J. Log. Comput., 2012

The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility.

Samuel Coskey, Joel David Hamkins, Russell G. Miller

Comput., 2012

2011

Low₅ Boolean subalgebras and computable copies.

Russell Miller

J. Symb. Log., 2011

Computability of Fraïssé limits.

Barbara F. Csima, Valentina S. Harizanov, Russell G. Miller, Antonio Montalbán

J. Symb. Log., 2011

An introduction to computable model theory on groups and fields.

Russell Miller

Groups Complex. Cryptol., 2011

The Distance Function on a Computable Graph

Wesley Calvert, Russell G. Miller, Jennifer Chubb Reimann

CoRR, 2011

Noncomputable functions in the Blum-Shub-Smale model

Wesley Calvert, Ken Kramer, Russell G. Miller

Log. Methods Comput. Sci., 2011

Adapting Rabin's Theorem for Differential Fields.

Russell Miller, Alexey Ovchinnikov

Proceedings of the Models of Computation in Context, 2011

2010

The Cardinality of an Oracle in Blum-Shub-Smale Computation

Wesley Calvert, Ken Kramer, Russell G. Miller

Proceedings of the Proceedings Seventh International Conference on Computability and Complexity in Analysis, 2010

Degrees of categoricity of computable structures.

Ekaterina B. Fokina, Iskander Sh. Kalimullin, Russell G. Miller

Arch. Math. Log., 2010

The basic theory of infinite time register machines.

Merlin Carl, Tim Fischbach, Peter Koepke, Russell G. Miller, Miriam Nasfi, Gregor Weckbecker

Arch. Math. Log., 2010

2009

d-computable categoricity for algebraic fields.

Russell Miller

J. Symb. Log., 2009

Post's Problem for ordinal register machines: An explicit approach.

Joel David Hamkins, Russell G. Miller

Ann. Pure Appl. Log., 2009

Real Computable Manifolds and Homotopy Groups.

Wesley Calvert, Russell G. Miller

Proceedings of the Unconventional Computation, 8th International Conference, 2009

Spectra of Algebraic Fields and Subfields.

Andrey N. Frolov, Iskander Sh. Kalimullin, Russell G. Miller

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

Perfect Local Computability and Computable Simulations.

Russell Miller, Dustin Mulcahey

Proceedings of the Logic and Theory of Algorithms, 2008

An Enhanced Theory of Infinite Time Register Machines.

Peter Koepke, Russell G. Miller

Proceedings of the Logic and Theory of Algorithms, 2008

2007

Order-Computable Sets.

Denis R. Hirschfeldt, Russell G. Miller, Sergei Podzorov

Notre Dame J. Formal Log., 2007

Spectra of structures and relations.

Valentina S. Harizanov, Russell G. Miller

J. Symb. Log., 2007

Locally Computable Structures.

Russell G. Miller

Proceedings of the Computation and Logic in the Real World, 2007

Post's Problem for Ordinal Register Machines.

Joel David Hamkins, Russell G. Miller

Proceedings of the Computation and Logic in the Real World, 2007

The Complexity of Quickly ORM-Decidable Sets.

Joel David Hamkins, David Linetsky, Russell G. Miller

Proceedings of the Computation and Logic in the Real World, 2007

2005

The computable dimension of trees of infinite height.

Russell Miller

J. Symb. Log., 2005

Computable categoricity of trees of finite height.

Steffen Lempp, Charles F. D. McCoy, Russell G. Miller, Reed Solomon

J. Symb. Log., 2005

Enumerations in computable structure theory.

Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon

Ann. Pure Appl. Log., 2005

2002

Definable Incompleteness and Friedberg Splittings.

Russell Miller

J. Symb. Log., 2002

Orbits of computably enumerable sets: low sets can avoid an upper cone.

Russell Miller

Ann. Pure Appl. Log., 2002

A Low-Power Design for an Elliptic Curve Digital Signature Chip.

Richard Schroeppel, Cheryl L. Beaver, Rita Gonzales, Russell Miller, Timothy Draelos

Proceedings of the Cryptographic Hardware and Embedded Systems, 2002

2001

The delta⁰₂-Spectrum of A Linear Order.

Russell Miller

J. Symb. Log., 2001