 As he could not construct such a set in 1944, he instead worked on the analogous problems for the various reducibilities that he introduced.These reducibilities have since been the subject of much research, and many relationships between them are known.A bounded form of each of the above strong reducibilities can be defined.