FO
Finite model theory
Polynomials
Algebra
Riesz function
Sipser–Lautemann theorem
Mathematics
Theoretical computer science
Mathematical analysis