Theoretical physics
Mathematics
Differential geometry
Linear temporal logic
Mathematical logic
Hahn–Banach theorem
Mathematical analysis
Operator theory
Calculus of variations