Соотношения между сводимостями табличного типа

Доказывается, что $\mathrm{Th}(L_p)\ne\mathrm{Th}(L_d)$ и $\mathrm{Th}(L_{btt})\ne\mathrm{Th}(L_{bl})$, где $L_r$ — верхняя полурешетка рекурсивно-перечислимых $r$-степеней, а $\mathrm{Th}(L_r)$ — ее элементарная теория. Получены также следующие результаты:
а) $(P_{btt}\cap P_\ell\cap P_c)\setminus P_{b\ell}\ne\varnothing$,
б) $(P_{btt}\cap P_\ell)\setminus(P_c\cup P_{b\ell})\ne\varnothing$.
Здесь $P_r$ — класс $r$-полных множеств.