Metalogic
Structure
Compactness theorem
O-minimal theory
Type
First-order logic
Stable theory
Beth definability
Definable real number
Model theory
Mathematical logic
Logic