nLab Category — model theory

Overview

The nLab has 10 pages in this category.

Pages

• amalgamation property
• categoricity
• elementary class of structures
• elimination of quantifiers
• forking
• matroid
• metric abstract elementary class
• model theory of fields
• quasiminimal structure
• structure in model theory