title: 如何系统学习模型论（ModelTheory）？
desc: 在读C.C.Chang的Model Theory.不知道读的过程中或者读完后应该如何继续学习？
topic: 数学
content: 一阶模型论，C.C.Chang和H.J.Keisler的Model Theory最为经典。不过后面几章涉及大基数。。卒 一阶模型论之后，有高阶模型论，无穷长语言模型论，模态模型论，多值模型论。。。卒 模型论和其他逻辑学分支互有联系：证明论中有关判定问题，很多会使用模型论方法公理集合论的力迫方法被移植到模型论中很多重要的递归论概念被应用于研究各种代数结构。。卒 以上过程中不时发现自己在看Lambek演算，Hething代数，泛代数，范畴论。
answerer_tags: 再见