non-standard model
model of a theory that is not isomorphic to the intended model
non-standard model of arithmetic
model of (first-order) Peano arithmetic that contains non-standard numbers
model of a theory that is not isomorphic to the intended model