View article

We develop some general results on computational complexity. We show that normal methods which relativize are insufficient to decide many natural questions about complexity class separations, including P vs NP. We prove Ladner's Theorem showing that the polynomial time degrees are dense.