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.
|Original language||English GB|
|State||Published - 2021|
- Mathematics - Logic
- Mathematics - Rings and Algebras