Computational complexity theory
Descriptive complexity
FO
Reduction
SO
Theoretical computer science
Applied mathematics
Finite model theory