模型论中的饱和模型
**模型论中的饱和模型**
我们先从模型论的基础概念开始。模型论研究数学结构与形式语言之间的关系。一个结构(例如群、域、有序集)是对某种形式语言(如一阶语言)的一个解释。一个模型是满足某个特定理论(一组公理)的结构。
**1. 型 (Type)**
型是饱和模型概念的核心预备知识。一个型,直观上说,是描述一个“潜在元素”所有可能性质的集合。
* **定义**:设 M 是一个 L-结构,A 是 M 的一个子集。一个(在 M 中)在参数集 A 上的 n-型 p(x₁, ..., xₙ) 是一
2025-11-15 01:22:27
0