Оспичев, Сергей Сергеевич
(Новосибирский государственный университет, 2010)
В статье показано, что не существует Δа^(−1) -вычислимой нумерации семейства всех Δa^(-1) -множеств, где a — конструктивный ординал. Также было доказано, что существует минимальная ω-вычислимая нумерация семейства всех ...