塔斯基-沃特测试

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

陳述
給定一個一階語言 ，令  為一結構， 為其子結構，其域分別記為 ，；則  是基本子結構的充要條件是：對每個 -公式 ，若有， 使得
 
則必存在  使得

外部連結
 Boris Zilber 在牛津的模型論講義 

模型論

en:Tarski–Vaught test