Source author record

Russell Miller

Russell Miller appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO math.NT Logic in Computer Science math.AC math.CA math.CT

Catalog footprint

What is connected

7works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2023arXiv

Differentially closed fields and universality on a cone

The class of all countable differentially closed differential fields $K$ of characteristic $0$ was shown by Marker and the author to be "one jump away" from universal for spectra of structures: for every nontrivial countable structure $\mathfrak M$, there is some $K$ whose spectrum is the preimage under jump of the spectrum of $\mathfrak M$, and conversely, for every $K$, there is such an $\mathfrak M$. We show that the missing jump can be accounted for by adding to the signature of differential fields a predicate describing a certain algebraic transcendence property. The ensuing universality results for differentially closed fields in the new signature include not only spectra of structures, but also many properties related to computable categoricity. However, these latter universality results hold only on the cone above a specific $Σ^0_1$ oracle set, whose decidability status remains unknown. Moreover, differentially closed fields simply fail flat-out to be universal for automorphism groups, even non-effectively. We also include a small erratum to an earlier work.

preprint2022arXiv

Interpreting a field in its Heisenberg group

We improve on and generalize a 1960 result of Maltsev. For a field $F$, we denote by $H(F)$ the Heisenberg group with entries in $F$. Maltsev showed that there is a copy of $F$ defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair $(u,v)$ as parameters. We show that $F$ is interpreted in $H(F)$ using computable $Σ_1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of $F$ are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of $F$ represented by triples in $H(F)$. Looking at what was used to arrive at this parameter-free interpretation of $F$ in $H(F)$, we give general conditions sufficient to eliminate parameters from interpretations.

preprint2020arXiv

On existential definitions of C.E. subsets of rings of functions of characteristic 0

We extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2) Every c.e. set of integers has a finite-fold Diophantine definition over the ring of integral functions of any function field of characteristic $0$. (3) All c.e. subsets of polynomial rings over totally real number fields have finite-fold Diophantine definitions. (These are the first examples of infinite rings with this property.) (4) If $k$ is algebraic over $\Q$ and is embeddable into a finite extension of $\Q_p$ for odd $p$, and $K$ is a one-variable function field over $k$, then the valuation ring of any function field valuation of $K$ has a Diophantine definition over $K$. (5) If $k$ is algebraic over $\Q$ and is embeddable into $\R$, and $K$ is a function field over $k$, then "almost" all function field valuations of $K$ have a valuation ring Diophantine over $K$. (6) Let $K$ be a one-variable function field over a number field and let $S$ be a finite set of its primes. Then all c.e. subsets of $O_{K,S}$ are existentially definable. (Here $O_{K,S}$ is the ring of $S$-integers or a ring of integral functions.)

preprint2016arXiv

Baire category theory and Hilbert's Tenth Problem inside $\mathbb{Q}$

For a ring R, Hilbert's Tenth Problem HTP(R) is the set of polynomial equations over R, in several variables, with solutions in R. We consider computability of this set for subrings R of the rationals. Applying Baire category theory to these subrings, which naturally form a topological space, relates their sets HTP(R) to the set HTP($\mathbb{Q}$), whose decidability remains an open question. The main result is that, for an arbitrary set C, HTP($\mathbb{Q}$) computes C if and only if the subrings R for which HTP(R) computes C form a nonmeager class. Similar results hold for 1-reducibility, for admitting a Diophantine model of $\mathbb{Z}$, and for existential definability of $\mathbb{Z}$.

preprint2015arXiv

A Computable Functor From Graphs to Fields

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S, there exists a countable field F with the same essential computable-model-theoretic properties as S. Along the way, we develop a new "computable category theory," and prove that our functor and its partially-defined inverse (restricted to the categories of countable graphs and countable fields) are computable functors.

preprint2014arXiv

Computing Constraint Sets for Differential Fields

Kronecker's Theorem and Rabin's Theorem are fundamental results about computable fields F and the decidability of the set of irreducible polynomials over F. We adapt these theorems to the setting of differential fields K, with constrained pairs of differential polynomials over K assuming the role of the irreducible polynomials. We prove that two of the three basic aspects of Kronecker's Theorem remain true here, and that the reducibility in one direction (but not the other) from Rabin's Theorem also continues to hold.

preprint2011arXiv

Noncomputable functions in the Blum-Shub-Smale model

Working in the Blum-Shub-Smale model of computation on the real numbers, we answer several questions of Meer and Ziegler. First, we show that, for each natural number d, an oracle for the set of algebraic real numbers of degree at most d is insufficient to allow an oracle BSS-machine to decide membership in the set of algebraic numbers of degree d + 1. We add a number of further results on relative computability of these sets and their unions. Then we show that the halting problem for BSS-computation is not decidable below any countable oracle set, and give a more specific condition, related to the cardinalities of the sets, necessary for relative BSS-computability. Most of our results involve the technique of using as input a tuple of real numbers which is algebraically independent over both the parameters and the oracle of the machine.