塔斯基-沃特测试

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

陳述
給定一個一階語言 \mathcal{L}，令 \mathcal{N} 為一結構，\mathcal{M} 為其子結構，其域分別記為 M, N，M \subset N；則 \mathcal{M} 是基本子結構的充要條件是：對每個 \mathcal{L}-公式 \phi(v_1, \ldots, v_n)，若有a_1, \ldots, a_n \in M，b \in N 使得
: \mathcal{N} \models_\mathcal{L} \phi(a_1, \ldots, a_n, b)
則必存在 a \in M 使得
: \mathcal{M} \models_\mathcal{L} \phi(a_1, \ldots, a_n, a)

外部連結

• [http://www.maths.ox.ac.uk/~zilber/lect.pdf Boris Zilber 在牛津的模型論講義]

Tarski–Vaught test