Quantifier Elimination and Definable Sets in Qp

Explore quantifier elimination and definable sets in p-adic fields through this mathematical lecture from the Hausdorff Center for Mathematics. Continue from Franziska Jahnke's previous work by examining a suitable language in which the p-adic field Qp eliminates quantifiers, and establish model-completeness without detailed proofs. Study definable sets within Qp and prove that Zp, the valuation ring, constitutes a definable set. Conclude by investigating additional examples of fields where henselian valuations are definable, providing a comprehensive overview of these advanced topics in model theory and p-adic analysis.