model theory

study of classes of mathematical structures from the perspective of mathematical logic

computable model theory
inner model theory
finite model theory
1