模型论
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)
回到首页
Website Copyright 2008 刘奋荣 Fenrong Liu