О позитивных предпорядках

Рассматриваются позитивные предпорядки, т.е. вычислимо перечислимые эквивалентности, снабжённые структурой частичного порядка между классами эквивалентности. На позитивных предпорядках естественным образом вводится отношение вычислимой сводимости и соответствующее понятие степени позитивного предпорядка. Доказывается, что степень любого позитивного предпорядка содержит либо ровно один, либо бесконечное множество классов вычислимого изоморфизма.