Computability theory
Recursively enumerable set
Theory of computation
Formal languages
Spectral theory