Дата публикации: 2006

Дата публикации в реестре: 2024-03-01T18:31:47Z

Аннотация:

Доказано, что верхняя полурешетка K рекурсивно перечислимых степеней неразрешимости изоморфна некоторой подрешетке ζ полурешетки e-степеней вычислимых нумераций семейства всех рекурсивно перечислимых множеств.

Тип: Article

Права: open access