初等模型论
【作 者】姚宁远著
【形态项】 238
【出版项】 上海：复旦大学出版社 , 2018.10
【ISBN号】978-7-309-14019-4
【中图法分类号】O141.4
【原书定价】36.00
【主题词】模型论-高等学校-教材
【参考文献格式】 姚宁远著. 初等模型论. 上海：复旦大学出版社, 2018.10.
内容提要:
本书从一阶逻辑的语法和语义开始，介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。
下载地址
初等模型论.rar