Fields interpretable in $P$-minimal fields

Abstract

We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically differentiable.

References in corpus (1)

• Interpretable fields in real closed valued fields and some expansions

Cited by in corpus (1)

• Notes on trace equivalence