@article{THESIS,
      recid = {7650},
      author = {Tran, Zana},
      title = {First-Order Theory of Function Fields of P-adic Curves},
      publisher = {University of Chicago},
      school = {Ph.D.},
      address = {2023-08},
      number = {THESIS},
      pages = {65},
      abstract = {Let <i>K</i> be a function field over a local field  <i>k</i>. We show that the valuation rings of <i>K/k</i>  are definable. Furthermore, if char <i>k</i> = 0 and  td<i>(K/k)</i> = 1, then any function field <i>L</i> over a  local field λ elementarily equivalent to <i>K</i> must be  isomorphic to <i>K</i> (as function fields).},
      url = {http://knowledge.uchicago.edu/record/7650},
      doi = {https://doi.org/10.6082/uchicago.7650},
}