

Model theory investigates the relationships between mathematical structures ('models') on the one hand and formal languages (in which statements about these structures can be formulated) on the other. Example structures are: the natural numbers with the usual arithmetical operations,...