《模型论教程》引理4.4.6困惑：同构是否必为初等同构？

首先，你提到的“任意两个结构间的同构都必然是初等同构”这句话本身是对的——如果两个结构本身是同一个理论的模型，且它们之间存在同构映射，那这个映射确实能保持所有一阶公式的有效性，也就是初等同构。但引理4.4.6里说的不是这种情况，你混淆了两个关键概念：

核心误区：子结构同构≠模型同构 #

引理中的“有限子结构间的同构都是初等同构”，这里的“初等同构”不是指子结构自身作为结构的同构，而是指：

对于任意两个模型 ( M, N \models T )，任意有限子结构 ( A \subseteq M )、( B \subseteq N )，如果 ( f: A \to B ) 是子结构的同构（即保持所有无量词公式，也就是关系语言中的原子公式和否定），那么 ( f ) 同时是初等映射——也就是说，对任意一阶公式 ( \varphi(x_1,...,x_n) )，以及任意 ( a_1,...,a_n \in A )，有 ( M \models \varphi(a_1,...,a_n) \iff N \models \varphi(f(a_1),...,f(a_n)) )。

简单来说：子结构的同构只要求保持无量词的原子/否定公式，而“初等同构”在这里要求这个映射能保持所有一阶公式（包括带量词的）——这正是量词消去能保证的性质。

举个直观例子 #

拿稠密无端点线性序理论（DLO）来说，它是有量词消去的完全理论：

• 取模型 ( M = (\mathbb{Q}, <) )，( N = (\mathbb{R}, <) )
• 取有限子结构 ( A = {1, 3} \subseteq \mathbb{Q} )，( B = {2, 5} \subseteq \mathbb{R} )，同构 ( f(1)=2, f(3)=5 )
• 因为DLO有量词消去，所有公式都等价于无量词公式，所以这个子结构同构自然能保持所有公式的真假（比如 ( M \models \exists x (1 < x < 3) )，对应 ( N \models \exists x (2 < x < 5) ) 也成立），也就是引理里说的“初等同构”。

反过来，看一个没有量词消去的理论，比如Peano算术（PA）：

• 取两个PA模型 ( M, N )，有限子结构 ( A = {0, 1, 2} \subseteq M )（2是1的后继），( B = {0, 1, 3} \subseteq N )（3不是1的后继）
• 作为有限子结构，A和B是同构的（都是三个元素的离散序），但这个同构不是初等映射：因为 ( M \models \forall x (x < 2 \iff x=0 \lor x=1) )，但 ( N \not\models \forall x (x < 3 \iff x=0 \lor x=1) )——这就说明这个子结构同构不能保持带量词的公式，而PA确实没有量词消去，正好符合引理的逆否命题。

回到引理本身 #

对于有限关系语言的完全理论T，量词消去的本质是“所有带量词的公式都能等价于无量词公式”。这就意味着，只要两个元素组在子结构层面（无量词公式）是同构的，它们在整个模型中满足的所有公式（包括带量词的）也必然一致——也就是引理中说的“有限子结构间的同构都是初等同构”。而你的误区是把“模型之间的同构”（天然是初等的）和“子结构之间的同构”（仅天然保持无量词公式）混为一谈了。

内容的提问来源于stack exchange，提问作者tihotap