Introduction to Model Theory I:
Formulas, theories, definability, compactness, basic examples.
Instructor: Gabriel Conant (University of Notre Dame)
LECTURE NOTES

Introduction to Model Theory II:
Applications, from among topics such as nonstandard analysis and arithmetic, combinatorics, quantifier elimination, ...
Instructor: Anush Tserunyan (University of Illinois - Urbana/Champaign)
LECTURE NOTES

**Financial support will be available to applicants - click participant application button above

- POSTER -.