Expansions of Real-Closed Fields - Expansions of Presburger Arithmetic
Hausdorff Center for Mathematics via YouTube
Python, Prompt Engineering, Data Science — Build the Skills Employers Want Now
MIT Sloan AI Adoption: Build a Playbook That Drives Real Business ROI
Overview
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 the mathematical theory of "tame" expansions of real-closed fields and their relationship to expansions of Presburger arithmetic in this 51-minute research lecture. Examine the connection between these mathematical structures through the additive reduct of integer parts of real-closed fields, gaining insight into ongoing collaborative research in model theory and mathematical logic. Delve into advanced topics in algebraic structures and arithmetic systems as presented by a leading researcher in the field, with content drawn from current joint work with Paola D'Aquino.
Syllabus
Francoise Point: Expansions of real-closed fields, expansions of Presburger arithmetic
Taught by
Hausdorff Center for Mathematics