Mathematical analysis
Measure theory
Mathematics
Lifting theory
Model theory
Analysis
Formal languages
Sigma-algebra
Invariant subspace