Priority Method

12.4 Post’s Problem

Existence of intermediate degrees between computable sets and the halting problem.