Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
