Спектры степеней для отношений на булевых алгебрах

Доказывается, что любое вычислимое отношение на вычислимой булевой алгебре $\mathfrak B$ либо определимо бескванторной формулой с константами из $\mathfrak B$ (и в этом случае, очевидно, наследственно вычислимо), либо имеет бесконечный спектр степеней.