时间：6月 13-15 日（周一到周三）每日 19:00-21:00

地点：清华大学人文学院（新斋）335 教室

主讲：Jouko Vaananen 教授

安排：

Monday, June 13

Title: A general introduction to model theory

Abstract: I will give an introduction to the main ideas and results of model theory, including Shelah’s stability theory.

Tuesday, June 14

Title: Hintikka sets and their applications

Abstract: I will tell what Hintikka sets are and how they can be used as a powerful method in model theory to prove e.g. the Compactness Theorem, Completeness Theorem and the Interpolation Theorem.

Wednesday, June 15

Title: Dependence logic

Abstract: Dependence logic arises from first order logic when new atomic formulas are added, e.g. for dependence, independence or inclusion. I will give the basic ingredients necessary for the study of dependence logic.