An undecidability result for the asymptotic theory of $p$-adic fields

Abstract

Fix a prime $p$. We prove that the set of sentences true in all but finitely many finite extensions of ${\mathbb{Q}}_p$ is undecidable in the language of valued fields with a cross-section. The proof goes via reduction to characteristic $p$, adapting Pheidas' proof of the undecidability of ${\mathbb{F}}_p((t))$ with a predicate for powers of $t$. This answers a variant of a question of Derakhshan-Macintyre.

arXiv comment15 pages

References in corpus (1)

• The existential theory of equicharacteristic henselian valued fields

Cited by in corpus (2)

• Axiomatizing the existential theory of Fq((t))
• Decidability via the tilting correspondence