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}$.

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

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

Hilbert's Tenth Problem for some Noncommutative Rings

Hilbert's tenth problem in Anticyclotomic towers of number fields

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

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

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

Effectivity for existence of rational points is undecidable

Hilbert's 13th problem in prime characteristic

Hilbert's tenth problem via additive combinatorics

Uniform existential definitions of valuations in function fields in one variable

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

Hilbert irreducibility for integral points on punctured linear algebraic groups

Kummer theory for function fields

Hilbert's 10th Problem via Mordell curves

On Arithmetic Genus of Hilbert Modular Varieties on Cyclic Number-Fields

Further Results on Hilbert's Tenth Problem

Freiman's $3k-4$ Theorem for Function Fields

A Hermite-Minkowski type theorem of varieties over finite fields

On Mordell-Weil groups of Jacobians over function fields

On the Hilbert function of Artinian local complete intersections of codimension three