塔斯基-沃特測試

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