# Category:Model Theory for Predicate Logic

Jump to navigation
Jump to search

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 47 pages are in this category, out of 47 total.

### A

### D

### E

### F

- Finitely Satisfiable Set of Sentences has Maximal Finitely Satisfiable Extension
- Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension
- Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension/Lemma
- Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension/Proof 1
- Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension/Proof 2
- Forking is Local
- Formula and its Negation Cannot Both Cause Forking