Existential decidability of a ring is the question as to whether an algorithm exists which determines whether a given system of polynomial equations and inequations has a solution. It is a classical result (``Hilbert's 10th problem'') that the ring of integers is not existentially decidable. Over the years there has been many results related to Hilbert 10th problem over different fields. For instance, the existential decidability of a Henselian valued field of mixed characteristic and finite ramification can be reduced to the positive existential decidability of its residue field, plus some additional structure.

An example of a mixed characteristic Henselian field is the fraction field of Witt Vectors. It is a construction analogous to the construction of the p-adic numbers from $\mathbb{F}_p$, and it takes a perfect field $F$ of characteristic $p$ and constructs a field with value group $\mathbb{Z}$ and residue field $F$. We will look at the existential decidability of the Henselian valued fields arising from finite extensions of the Witt vectors over a positive characteristic Henselian valued field. I will report on our progress so far, the problems that we have encountered, and the goals we are working toward.

TBA

TBA

TBA

TBA

TBA

TBA