Post also showed that some of them are strictly intermediate under other reducibility notions stronger than Turing reducibility.
Post a arătat și că unele dintre ele sunt strict intermediare în raport cu alte noțiuni de reductibilitate mai puternice decât reductibilitatea Turing.