Definition:Model Theory for Predicate Logic

From ProofWiki
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.