Submission date: 8 May 2021

Abstract:

We prove that the set of sentences true in all but finitely many finite extensions of ℚ_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 𝔽_p((t)) with a predicate for powers of t. This answers a variant of a question of Derakhshan-Macintyre.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2105.03771: pdf, ps.