ABSTRACT

Post’s idea for solving his problem was to show that a sufficiently large RE set could not have degree 0’, and then producing a non-recursive RE set which was this large. Although this idea did not solve Post’s problem, it led to many interesting results, which we shall explore briefly.