万有模型

万有模型，假设𝒌为一无穷基数。称理论T的模型ℳ是𝒌万有的，假如对于一切满足|𝓝|<𝒌的模型𝓝，都存在一个从𝓝到ℳ的基本（初等）嵌入。称一个结构ℳ是万有的，假如它是|ℳ|+万有的。假设𝒌为一无穷基数。称理论T的模型ℳ是𝒌万有的，假如对于一切满足|𝓝|<𝒌的模型𝓝，都存在一个从𝓝到ℳ的基本（初等）嵌入。称一个结构ℳ是万有的，假如它是|ℳ|+万有的。