Module 1: O-minimality and Hardy fields
Instructor: C. Miller

Primary material: Hardy field theory as it relates to o-minimality; the growth dichotomy; and basic properties of the polynomially bounded case. More advanced topics and applications will be presented, as time permits, based on interests and preparation of the participants.

Module 2: Construction of o-minimal structures from quasianalytic classes
Instructor: J.-P. Rolin

In a first part, we recall the definition of quasianalytic algebras of functions or germs of functions and give several examples of such algebras. Then we prove that convenient quasianalytic algebras generate o-minimal expansions of the real field. One important ingredient of the proof is the technique of resolution of singularities as discussed by Edward Bierstone in his course.

Module 3: Pfaffian closure and model completeness results for Pfaffian chains
Instructor: P. Speissegger
(Lecture notes)

The goal of my lectures is to outline a proof of Gareth O. Jones'recent result that the expansion of the real field by a Pfaffian chain and the exponential function is model complete. The proof combines both Wilkie's model-theoretic and Lion and Speissegger's geometric approaches to proving model completeness. Prerequisites for this course are basic differential geometry, basic model theory and the material covered by Chris Miller in his course.