塔斯基-沃特测试

在模型論中，塔斯基-沃特測試（英文：Tarski-Vaught test）是用來判定一個子結構是否是基本子結構的定理。有時亦稱塔斯基判準。

陳述

給定一個一階語言 $ℒ$，令 $𝒩$ 為一結構，$ℳ$ 為其子結構，其域分別記為 $M,N$，$M\subset N$；則 $ℳ$ 是基本子結構的充要條件是：對每個 $ℒ$-公式 $\varphi (v_1,\dots ,v_n)$，若有$a_1,\dots ,a_n\in M$，$b\in N$ 使得

$𝒩{\models }_{ℒ}\varphi (a_1,\dots ,a_n,b)$

則必存在 $a\in M$ 使得

$ℳ{\models }_{ℒ}\varphi (a_1,\dots ,a_n,a)$

外部連結

• Boris Zilber 在牛津的模型論講義 Template:Wayback