Modell/Nichtstandardmodell/Definition

Nichtstandardmodell

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