Decidability in extensions of Fp((t))

<p>In this thesis we primarily consider the first-order theory of the local field F_p((t)) and the question of whether it is decidable. To this end we expand the language of valued fields together with a constant symbol for t by adding predicates R_f representing the existence of a root of the...