塔斯基-沃特测试

模型论中,塔斯基-沃特测试(英文:Tarski-Vaught test)是用来判定一个子结构是否是基本子结构的定理。有时亦称塔斯基判准

陈述

编辑

给定一个一阶语言  ,令   为一结构,  为其子结构,其域分别记为   ;则   是基本子结构的充要条件是:对每个  -公式  ,若有   使得

 

则必存在   使得

 

外部链接

编辑