Elements of Model Theory
Elements of Model Theory
复制标题
模型理论的要素
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
W. Rautenberg
中科院分区：
文献类型：
--
作者：
W. Rautenberg
模型论是应用数理逻辑的一个重要分支。在这里，数理逻辑中发展起来的技术与其他领域(如代数和分析)的构造方法相结合，以实现互惠互利。下面的演示只能提供这方面的初步了解，例如，从[CK]或[HO]获得更深层次的理解。对于更广泛的主题，如饱和模型、稳定性理论和一阶以外语言的模型理论，我们参考专门的文献，[Bue]，[Mar]，[Pz]，[Rot]，[Sa]，[She]。
Model theory is a main branch of applied mathematical logic. Here the techniques developed in mathematical logic are combined with construction methods of other areas (such as algebra and analysis) to their mutual benefit. The following demonstrations can provide only a first glimpse in this respect, a deeper understanding being gained, for instance, from [CK] or [Ho]. For further-ranging topics, such as saturated models, stability theory, and the model theory of languages other than first-order, we refer to the special literature, [Bue], [Mar], [Pz], [Rot], [Sa], [She].