Algorithmic randomness,
Computability theory,
Kolmogorov complexity,
Computational complexity,
Reverse mathematics and logic.