Pathway VI

⊨Model theory

Structures interpret symbols. Compactness: finite consistency is enough.

1. 01StructuresA structure is a universe plus interpretations of constants, functions, and relations.4 min
2. 02CompactnessIf every finite fragment of a theory has a model, the whole theory has a model.4 min