# Category:Model Theory

Jump to navigation
Jump to search

This category contains results about Model Theory.

Definitions specific to this category can be found in Definitions/Model Theory.

**Model theory** is a sub-branch of mathematical logic which studies mathematical structures by means of formal languages.

## Subcategories

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

## Pages in category "Model Theory"

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

### 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