模型链
| 模型链 | |
|---|---|
| 术语名称 | 模型链 |
| 英语名称 | chain of models |
模型链(chain of models)是模型通过子模型关系构成的序列。
定义
对语言 [math]\displaystyle{ \mathcal{L} }[/math] 中的模型的序列 [math]\displaystyle{ \mathfrak{A}_0,\mathfrak{A}_1,\cdots,\mathfrak{A}_n,\cdots }[/math] ，若对任意 [math]\displaystyle{ n\in \mathbb{N} }[/math] ，都有 [math]\displaystyle{ \mathfrak{A}_n }[/math] 是 [math]\displaystyle{ \mathfrak{A}_{n+1} }[/math] 的子模型，则称序列是一个模型链(chain of models)。
性质
- 初等链是一种模型链，是模型链中重要的研究方法。