turkmath.org

This will be a series of lectures on basics of model theory and nonstandard analysis. 

Lecture 1: Languages, structures, first-order formulas, definability

Lecture 2: Theories, models, the compactness theorem and its applications

Lecture 3: Quantifier elimination and its applications to algebraic geometry

Lecture 4: Nonstandard Analysis and its applications to commutative algebra and number theory

Place: Izmir Institute of Technology, Mathematics Department, Z09 (online option is possible via Teams)

Time: Lecture 1 (June 13, 10:00–12:30 ), Lecture 2 (June 20, 10:00–12:30 ).

Lecture 3-4 (TBA) in July