内容简介

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

下载地址

豆瓣评论

  • 马蹄北去
    更偏向数学一些,一方面是作者选取了一些模型论(紧致性定理,量词消去)在数学中的应用,另一方面模型论本身也更偏重数学构造和技巧,尤其到最后两章,几无概念直观可以借助。本书可以说把这套教材的精简风格发挥到极致了,大量内容没有展开,当课堂讲义用更适合05-07
  • 张黄林
    补标。姚师的书。看到有吐槽说这本书过于简洁,当成课堂讲义更合适,但其实这书原本就是课堂讲义的改编……01-17
  • DestinHistoire
    最代数化的模型论教材之一。定义清晰,记号选用严谨,不同于流行的几本教材的混乱。一些内容的处理特别而优雅,如利用Tarski准则证明L-S定理、可数情况的K-S定理、Morley定理的不同证明。07-01

猜你喜欢

大家都喜欢