Структура степеней неразрешимости для m - сводимости с ограничениями на сводящую функцию
Вантажиться...
Дата
2001
Автори
Науковий керівник
Укладач
Редактор
Назва журналу
ISSN
E-ISSN
Назва тому
Видавець
Одеський національний університет імені І. І. Мечникова
Анотація
Розглядається структура ступенів нерозв'язності для m-зведення з обмеженнями на функцію, що зводить. Отримано критерії рефлексивності і транзитивності для таких зведень. Досліджуються ступені рекурсивних множин. Розглянуто зведення, для яких структура рекурсивних ступенів нерозв'язності є щільною. Наведено відповідні приклади.
Рассматривается структура степеней неразрешимости для m-сводимости с ограничениями на сводящую функцию. Получены критерии рефлексивности и транзитивности для таких сводимостей. Исследуются степени рекурсивных множеств. Рассмотрены сводимости, для которых структура рекурсивных степеней неразрешимости является плотной. Приведены соответствующие примеры.
The structure of the degrees of unsolvability for a m-reducibiluty with rectrictions on the reducing function is considered. The criteria for reflexivity and transitivity for such reducibiluty are received. The degrees of recursive sets are investigated. Are considered reducibiluty for which the structure of the recursive degrees of unsolubility is dense. The appropriare examples are given.
Рассматривается структура степеней неразрешимости для m-сводимости с ограничениями на сводящую функцию. Получены критерии рефлексивности и транзитивности для таких сводимостей. Исследуются степени рекурсивных множеств. Рассмотрены сводимости, для которых структура рекурсивных степеней неразрешимости является плотной. Приведены соответствующие примеры.
The structure of the degrees of unsolvability for a m-reducibiluty with rectrictions on the reducing function is considered. The criteria for reflexivity and transitivity for such reducibiluty are received. The degrees of recursive sets are investigated. Are considered reducibiluty for which the structure of the recursive degrees of unsolubility is dense. The appropriare examples are given.
Опис
Ключові слова
структура ступенів нерозв'язності, m-зведення, структура степеней неразрешимости, m-сводимость, structure of the degrees of unsolvability, m-reducibiluty
Бібліографічний опис
Вісник Одеського національного університету = Odesa National University Herald