(α，β)模型

英文

α,β)-model

简介

一种双基数模型.设语言L有一个一元关系符号U，令U是L的一个模型，V是U中对U的解释(U可记为U=〈A，V，…〉).设|A|=α，|V|=β，称U是一个(α，β)模型.若T为L中的理论，如果T具有(α，β)模型，则称T为容许基数对(α，β).