Model theory
Mathematical logic
Mathematics
Ronald Fagin
FO
Discrete mathematics
Computer science
Finite model theory
Logic
Descriptive complexity theory