Vincenzo Mantova (University of Leeds)
- Date
- Wednesday 18 November 2020
- Category
- Models and Sets Seminar
Proving o-minimality of real exponentiation with restricted analytic functions (Part 2)
The o-minimality of real exponentiation with restricted analytic functions is one of the most applied model theoretic results. I'll discuss the key steps of the van den Dries-Macintyre-Marker proof, based on (1) quantifier elimination for restricted analytic functions, (2) the interplay between analytic functions and the Archimedean valuation, and (3) Hardy fields.
The talk will be self-contained, but it's also meant to be a conclusion to our summer reading of van den Dries-Macintyre-Marker.