nLab
model theory - contents

model theory

Basic concepts and techniques

Dimension, ranks, forking

Universal constructions

Extra stuff, structure, properties

Examples

Theorems