Post's problem proved intermediate c.e. degrees exist, establishing that m-completeness and T-comple...
This proposition has not been edited since the history system was added.