A new solution to Post’s problem

Abstract

In the paper there has been constructed a semirecursive recursively enumerable set B, whose Turing degree is between 0 and 1, taking into account that A <m B = A <q B for recursively enumerable sets A.

Построено полурекурсивное рекурсивно перечислимое множество, чья тьюринговая степень находится между 0 и 1, с использованием того факта, что для рекурсивно перечислимых множеств.