Hilbert's tenth problem for some noncommutative rings

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 { τ } and its left division ring of fractions K ( τ ) . We prove that the recursively enumerable sets and Diophantine sets of F q n { τ } coincide. We reduce Hilbert's tenth problem over F q n { { τ } } and F q n ( ( τ ) ) , the twisted version of the power series and Laurent series, to the commutative case. Finally, we show that the different models of F q [ T ] in K { τ } 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 [ ∂ ] has a negative answer. We prove that Hilbert's tenth problem over the left division ring of fractions K ( ∂ 1 , … , ∂ k ) can be reduced to Hilbert's tenth problem over C ( t 1 , … , t k ) where C is the field of constants of K . This gives a negative answer for k ≥ 2 if the field of constants is C and for k ≥ 1 if it is R .