Modell/Nichtstandardmodell/Definition

Nichtstandardmodell

Es sei ${}M$ eine fixierte ${}S$-Struktur (das Standardmodell) über einem Symbolalphabet ${}S$. Dann nennt man eine weitere ${}S$-Struktur ${}M'$, die zu ${}M$ elementar äquivalent, aber nicht zu ${}M$ ${}S$-isomorph ist, ein Nichtstandardmodell von ${}M$.