Modell/Nichtstandardmodell/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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 .