模型论
模型论引论 | 影印版.pdf
本书以现代观点介绍模型论,着重强调其在代数学中的应用。前半部分包括模型构造技巧的经典论述,如类型空间,素模型,饱和模型,可数模型,不可辨元等理论及其应用。在书中后半部分,作者先介绍莫利的范畴性定理,随之讨论稳定性理论,着重论述Ω-稳定性理论。最后,作者兴例阐明了赫鲁索夫斯基如何将
分次模态语言的模型论.pdf
本书给出了分次模态逻辑的余代数语义,研究余代数结构类在分次模态语言中的可定义性问题;探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论,以及分次模态公式的分类和几个扩张表达力的语言;此外,在关系语义学下,还给出了结构类的可定义性定理。
代数模型论引论.pdf
本书第一章介绍代数模型论所需要的模型论的基础知识。第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法,其中包括代数闭域、实闭域、线性序和偏序结构的模型论等。最后一章介绍可计算模型论。