5yr CureDiamond :verified:
cover

Book

初等模型论
Douban
姚宁远 publishing house: 复旦大学出版社 2019 - 11
本书从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。

读过《初等模型论》 🌕🌕🌕🌕🌕
最代数化的模型论教材之一。定义清晰，记号选用严谨，不同于流行的几本教材的混乱。一些内容的处理特别而优雅，如利用Tarski准则证明L-S定理、可数情况的K-S定理、Morley定理的不同证明。