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 via additive combinatorics

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 10th Problem via Mordell curves

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

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

Diophantine Maps

Further Results on Hilbert's Tenth Problem

Effectivity for existence of rational points is undecidable

Hilbert's 13th problem in prime characteristic

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

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

Sumsets and Projective Curves

Bounds for the Hilbert-Kunz Multiplicity of Singular Rings

Diophantine stability and second order terms

On obstructions to the Euler system method for Rankin-Selberg convolutions

A question on effective strictly nef divisors (with an appendix by Andreas Höring)

Additive Combinatorics Using Equivariant Cohomology

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