"Decidability in extensions of F_p((t))";