The definable-isomorphism conjecture for infinite fields interpretable in p-adic fields

Fix a prime pp and let KK be a (20)+(2^{\aleph_0})^+-saturated elementary extension of Qp\mathbb{Q}_p. An infinite field is interpretable in KK if its underlying set and field operations are interpretable in KK.

Definable-isomorphism conjecture. Any infinite field interpretable in KK is KK-definably isomorphic to some finite extension of KK.

This folklore conjecture would imply that the structure induced on the set of balls in the valuation ring of KK does not interpret an infinite field, despite its Shelah completion interpreting Qp\mathbb{Q}_p. 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

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.