Stav dette: Degrees of unsolvability: structure and theory