# Category:Model Theory for Predicate Logic

This category contains results about Model Theory for Predicate Logic.
Definitions specific to this category can be found in Definitions/Model Theory for Predicate Logic.

Model theory for predicate logic is the sub-branch of model theory that focuses on predicate logic.

In particular, the formal semantics of structures for predicate logic is studied.

## Subcategories

This category has the following 2 subcategories, out of 2 total.

## Pages in category "Model Theory for Predicate Logic"

The following 42 pages are in this category, out of 42 total.