4. Structures and Models
Model theory studies mathematical structures through the formal languages used to describe them, and it asks how much information about a structure can be expressed by first order formulas. A structure consists of a domain together with interpretations of the symbols in a language, and this framework allows groups, rings, fields, ordered sets, graphs, and many other mathematical objects to be treated within one common logical setting. The chapter begins...