Model niestandardowy - Non-standard model
W teorii modeli , dyscyplinie w logice matematycznej , model niestandardowy to model teorii, który nie jest izomorficzny z zamierzonym modelem (lub modelem standardowym).
Istnienie
Jeśli zamierzony model jest nieskończony, a język jest pierwszego rzędu , to twierdzenia Löwenheima-Skolema gwarantują istnienie niestandardowych modeli. Modele niestandardowe można wybrać jako elementarne rozszerzenia lub elementarne podkonstrukcje projektowanego modelu.
Znaczenie
Modele niestandardowe badane są w teorii mnogości , niestandardowej analizie i niestandardowych modelach arytmetycznych .