跳至內容

非標準模型

維基百科,自由的百科全書

數理邏輯模型論中,稱某理論模型非標準模型(英語:Non-standard model),如果它與預期模型(或稱標準模型)不同構。如果預期模型是無限的, 且使用的語言一階的,則非標準模型的存在性由勒文海姆–斯科倫定理保證。非標準模型可被選為預期模型的初等擴張初等子結構

非標準模型在集論非標準分析,以及非標準算術模型中有所研究。