Новое решение проблемы Поста

Abstract

The article demonstrates the construction of semirecursive recursively enumerable set B, Turing degree of which is between 0 and 1, with the consideration of the fact that for recursively enumerable sets A.

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