The definable-isomorphism conjecture for infinite fields interpretable in p-adic fields
The definable-isomorphism conjecture for infinite fields interpretable in p-adic fields
Fix a prime and let be a -saturated elementary extension of . An infinite field is interpretable in if its underlying set and field operations are interpretable in .
Definable-isomorphism conjecture. Any infinite field interpretable in is -definably isomorphic to some finite extension of .
This folklore conjecture would imply that the structure induced on the set of balls in the valuation ring of does not interpret an infinite field, despite its Shelah completion interpreting . Its analogue for algebraically closed valued fields is known, but the stated p-adic version is beyond current techniques.
Sources & referencesView supporting material
Primary source
Erik Walsberg, “A P-adic structure which does not interpret an infinite field but whose Shelah completion does”, arXiv:2006.00137 (2020).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.