Model Theory

【文件属性】：

文件名称：Model Theory

文件大小：3.59MB

文件格式：PDF

更新时间：2021-04-29 15:05:38

数理逻辑

模型论（Model theory）是数学的一个学科，模型论的一些重要定理，如紧致性定理，L－S－T 定理，省略型定理， 插值定理等等，不仅对逻辑，集合论，递归论的研究有重要作用 ，而且也在数论、代数、拓扑等数学学科中得到应用。