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

### A

### D

### F

- 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