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.
Original language | American English |
---|---|
DOIs | |
State | Published - 30 Mar 2021 |
Keywords
- Mathematics - Logic
- Mathematics - Rings and Algebras