跳转到内容

塔斯基-沃特测试

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

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

陈述

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

则必存在 使得

外部链接