非標準模型

在數理邏輯的模型論中 ， 稱某理論的模型爲非標準模型  ， 如果它與預期模型 （ 或稱標準模型 ） 不同構 。 如果預期模型是無限的, 且使用的語言是一階的 ， 則非標準模型的存在性由勒文海姆 – 斯科倫定理保證 。 非標準模型可被選爲預期模型的初等擴張或初等子結構 。 非標準模型在集論 、 非標準分析 ， 以及非標準算術模型中有所研究 。 Category: 模型論