<simulation> <logic> 1. A description of observed behaviour, simplified by ignoring certain details. Models allow complex systems to be understood and their behaviour predicted within the scope of the model, but may give incorrect descriptions and predictions for situations outside the realm of their intended use. A model may be used as the basis for simulation.
[FOLDOC]
2. An interpretation in which expressions of interest to us (e.g. a wff, a set of wffs, a system) come out true for that interpretation. See isomorphism of models, true for an interpretation
Cardinality of a model The cardinality of the domain of the model.
Model of a wff or set of wffs An interpretation, I, that makes those wffs true for I.
Model of a formal system An interpretation, I, that makes its set of theorems true for I. A model of a system is a model of its set of theorems.
Non-standard model Weakly, any non-standard interpretation that is a model. Strongly, any model that is not isomorphic with the intended (standard) model. See isomorphism of models
Normal model A normal interpretation that is a model. See interpretation, normal
[Glossary of First-Order Logic]
Try this search on OneLook / Google