Definition:Model Theory for Predicate Logic
Jump to navigation
Jump to search
Definition
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.
Also known as
Historically, model theory for predicate logic has received the main attention within the larger field of model theory in general.
Therefore, there is a good chance that any source referring to model theory actually refers to the subfield of model theory for predicate logic.
Also see
- Results about model theory for predicate logic can be found here.