初等模型论

• 书名：初等模型论
• 作者： 姚宁远
• 格式：PDF
• 时间：2024-07-03
• 评分：
• ISBN：9787309140194

内容简介：

《初等模型论》从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。

作者简介：