查看“︁塔斯基-沃特测试”︁的源代码

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

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

==外部連結==
* [http://www.maths.ox.ac.uk/~zilber/lect.pdf Boris Zilber 在牛津的模型論講義] {{Wayback|url=http://www.maths.ox.ac.uk/~zilber/lect.pdf |date=20070418075152 }}

{{Logic-stub}}
[[Category:模型論]]

[[en:Tarski–Vaught test]]