Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
