模型论
模型论研究形式语言及其解释之间的关系，分析满足给定公理集的数学结构。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
模型论是数理逻辑的一个分支，研究模型（即解释形式语言的结构）以及结构中为真的语句与该结构的代数和组合性质之间的关系。
Scope
该领域涵盖一阶逻辑及其语义、完备性定理、紧致性定理、勒文海姆-斯科伦定理、初等等价和嵌入、类型和饱和模型、量词消去，以及通过模型论性质对理论进行分类。它通过可定义集的研究将逻辑与代数、几何和数论联系起来。
Sub-topics
Core questions
- 哪些结构满足给定理论，它们之间有何关联？
- 一个理论能表达其模型的大小和数量的哪些信息？
- 如何描述和分类结构中的可定义集？
- 哪些理论表现良好，足以允许对其模型进行结构理论研究？
Key theories
- 完备性定理
- 哥德尔完备性定理指出，当且仅当一阶语句在理论的每个模型中都成立时，它才能从该理论中被证明，从而将句法可证性与语义真理等同起来。
- 紧致性定理
- 一阶语句集有模型当且仅当其每个有限子集都有模型，这是一个用于产生非标准模型并在有限和无限结构之间传递性质的工具。
- 勒文海姆-斯科伦定理
- 一个具有无限模型的一阶理论拥有任意无限基数的模型，因此一阶逻辑无法精确确定无限结构的大小。
Clinical relevance
模型论提供了强大的工具，已应用于整个数学领域：量词消去为代数理论提供了判定过程，而域和群的模型论在数论、实数和复数几何以及组合学中产生了结果，特别是通过稳定性理论和o-极小性。
History
模型论起源于20世纪早期勒文海姆（Loewenheim）、斯科伦（Skolem）和哥德尔（Goedel）的工作，并由塔斯基（Tarski）的真理语义定义以及马尔采夫（Maltsev）和罗宾逊（Robinson）对紧致性定理的应用塑造成一个连贯的学科。谢拉赫（Shelah）自20世纪70年代以来的分类和稳定性理论为该领域提供了现代结构框架，并使其与数学其他领域建立了深层联系。
Key figures
- Kurt Goedel
- Alfred Tarski
- Anatoly Maltsev
- Abraham Robinson
- Saharon Shelah
Related topics
Seminal works
- marker2002
- changkeisler1990
- hodges1993
Frequently asked questions
- 模型论中句法和语义的区别是什么？
- 句法关注语言中的形式语句和证明，而语义关注结构以及语句在其中是否为真。完备性定理表明，对于一阶逻辑，这两个视角是一致的：可证性与所有模型中的真理相符。
- 模型论对普通数学为何重要？
- 许多代数结构，如域和有序群，都是由一阶公理定义的，因此模型论中关于可定义集和量词消去的结果可以转化为代数、几何和数论中的具体定理和判定过程。