Files

Abstract

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).

Details

Actions

PDF

from
to
Export
Download Full History