| 模型论 Model Theory |
| 课程一般信息 预备知识：了解一阶逻辑的初步知识。 教材：Wilfrid Hodges, A Shorter Model Theory, Cambridge University Press, 1997 考核方式：考试 时间地点：星期五 13:30－16:05； 六教6B406 |
| 初步计划 第1周. 9月25日：Introduction, structures and substructures 第2周. 9月27日：Canonical models 第3周.10月9日: Definable subsets, definable classes of structures 第4周. 10月16日：Notions from logic, classifying maps by formulas 第5周. 10月23日：Translation, quantifier elimination 第6周. 10月30日：Theorem of Skolem 第7周. 11月6日：Back-and-forth equivalence, games 第8周. 11月13日：Interpretation 第9周. 11月20日：Interpretation continued 第10周. 11月27日：Compactness of FOL 第11周. 12月4日：Types, elementary amalgamation 第12周. 12月11日：Expanding the language 第13周. 12月18日：The countable case 第14周. 12月25日： Fraisse's construction 第15周. 2010年1月1日：Holiday第16周. 1月8日：Countable categoricity 第17周. 1月15日： 期末考试 (Final Exam) |
