北京国际数学研究中心的Kyle Gannon老师将于2025年春季学期在数学科学学院开设《逻辑专题:o-minimality》(课号: 00104608),3学时3学分,周三5-6(单周)、周五7-8,三教206,本研合上。简介如下:
o-minimality is a concept originating from model theory which in recent years has been applied to many diverse branches of mathematics. At its core, o-minimal structures provided a framework to study both real and complex geometry in which all definable objects - sets, functions - exhibit "tame" geometric and topological behavior. This course has two aims: First, to introduce and prove some fundamental properties of o-minimal structures. Second, to explore some applications, i.e. the proof of the Pila-Wilkie theorem. No prior background in logic will be assumed.