北京国际数学研究中心的Kyle Gannon老师在数学科学学院开设《模型论》（课号: 00104143），3学时3学分，周三5-6(单周)、周五7-8，三教104，本研合上。简介如下： 

Model theory is a subfield of mathematical logic which studies structures (e.g., groups, graphs, and fields) through the lens of structurally significant subsets. This course aims to provide a modern introduction to the subject. We will prove some of the foundational results in the area such as the compactness theorems of first-order logic, the Lowenheim-Skolem theorems, and Morley's categoricity theorem. We will also look at some applications of model theory to other areas of mathematics (e.g. Ax-Grothendieck, ultraproducts, stable graph regularity). No prior knowledge of mathematical logic is necessary, however some level of mathematical maturity is assumed.