Abstract:We consider Hilbert's tenth problem for two families of noncommutative rings. Let $K$ be a field of characteristic $p$. We start by showing that Hilbert's tenth problem has a negative answer over the twisted polynomial ring $K\{\tau\}$ and its left division ring of fractions $K(\tau)$. We prove that the recursively enumerable sets and Diophantine sets of $\mathbb{F}_{q^n}\{\tau\}$ coincide. We reduce Hilbert's tenth problem over $\mathbb{F}_{q^n}\{\!\{\tau\}\!\}$ and $\mathbb{F}_{q^n}(\!(\tau)\!)$, the twisted version of the power series and Laurent series, to the commutative case. Finally, we show that the different models of $\mathbb{F}_q[T]$ in $K\{\tau\}$ we created are all equivalent in some sense which we will define. We then move on to the second family of rings, coming from differential polynomials. We show that Hilbert's tenth problem over $K[\partial]$ has a negative answer. We prove that Hilbert's tenth problem over the left division ring of fractions $K(\partial_1,\ldots,\partial_k)$ can be reduced to Hilbert's tenth problem over $C(t_1,\ldots,t_k)$ where $C$ is the field of constants of $K$. This gives a negative answer for $k \geq 2$ if the field of constants is $\mathbb{C}$ and for $k\geq 1$ if it is $\mathbb{R}$.

Effectivity for existence of rational points is undecidable

Hilbert's tenth problem for lacunary entire functions of finite order

Hilbert's tenth problem via additive combinatorics

$\Mathbb Q\setminus\mathbb Z$ is Diophantine over $\mathbb Q$ with 32 Unknowns

Hilbert's Tenth Problem for function fields of varieties over C

Further Results on Hilbert's Tenth Problem

Hilbert's tenth problem for families of $ \mathbb{Z}_p $-extensions of imaginary quadratic fields

Hilbert's Tenth Problem for function fields of varieties over number fields and p-adic fields

Hilbert's tenth problem for rings of holomorphic functions of bounded order

Hilbert's tenth problem in Anticyclotomic towers of number fields

Hilbert's Tenth Problem for some Noncommutative Rings

Mixed quantifier prefixes over Diophantine equations with integer variables

Hilbert's 10th Problem via Mordell curves

Diophantine Maps

An upper bound on the number of rational points of arbitrary projective varieties over finite fields

On the Diophantine Equation F (X) F (Y) = F (Z(2))

Existence of rational points as a homotopy limit problem

Bounds for Rational Points on Algebraic Curves, Optimal in the Degree, and Dimension Growth

Irrational components of the Hilbert scheme of points

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$