The time and space hierarchy theorems form the basis for most separation results of complexity classes.
What is the foundation for separation results within complexity classes?
time and space hierarchy theorems