Icke-standardmodell

I modellteori , en disciplin inom matematisk logik , är en icke-standardmodell en modell av en teori som inte är isomorf till den avsedda modellen (eller standardmodellen).

Existens

Om den avsedda modellen är oändlig och språket är av första ordningen , garanterar Löwenheim –Skolem-satserna förekomsten av icke-standardiserade modeller. De icke-standardiserade modellerna kan väljas som elementära förlängningar eller elementära understrukturer av den avsedda modellen.

Betydelse

Icke-standardiserade modeller studeras i mängdlära , icke-standardiserad analys och icke-standardiserade aritmetiska modeller .

Se även

• Tolkning (logik)