跳转到内容

塔斯基-沃特测试

维基百科,自由的百科全书

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

陳述

給定一個一階語言 ,令 為一結構, 為其子結構,其域分別記為 ;則 是基本子結構的充要條件是:對每個 -公式 ,若有 使得

則必存在 使得

外部連結