First-Order Theory of Function Fields of P-adic Curves

Let K be a function field over a local field k. We show that the valuation rings of K/k are definable. Furthermore, if char k = 0 and td(K/k) = 1, then any function field L over a local field λ elementarily equivalent to K must be isomorphic to K (as function fields).