非标准模型

维基百科,自由的百科全书
跳转至: 导航搜索

数理逻辑模型论中,称某理论模型非标准模型,如果它与预期模型(或称标准模型)不同构。如果预期模型是无限的, 且使用的语言一阶的,则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张初等子结构

非标准模型在集论非标准分析,以及非标准算术模型中有所研究。