标签：#模型论

子结构

在数学学科模型论中，某个其他模型的子模型或子结构是满足与最初模型同样关系的更小的模型。 形式定义如下。设 M 和 N 是同一个语言 L 的两个模型。我们称 M 是 N 的子模型(通常表示为 M ⊂ N) (等价的说，N 是 M的扩展)当且仅当 M 的域是 N 的域的子集； 对于所有 L 的 n-元关系符号 R，我们有 RM = RN ∩ Mn； 对于所有 L 的 m-元函数符号 f，我们有 f^M = f^N|M^m \ ； 对于所有 …