|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
$m$-сводимость с верхними и нижними границами для сводящих функций
В. Н. Беляев, В. К. Булитко Одесский национальный университет им. И. И. Мечникова
Аннотация:
Изучаются такие пары $(\mathfrak T^1,\mathfrak T^0)$ классов неубывающих тотальных одноместных арифметических функций, которые определяют рефлексивные и транзитивные бинарные отношения $\{(A,B)\mid A,B\subseteq N\mathop{\&}(\exists$ о.р.ф. $h$) $(\exists f_1\in \mathfrak T^0)[A\le{}_m^hB\mathop{\&}f_0\trianglelefteq h\trianglelefteq f_1]\}$. (Здесь $k\trianglelefteq l$ означает, что функция $l$ почти всюду
мажорирует функцию $k$.) Установлены критерии рефлексивности и транзитивности таких отношений. Получены свидетельства высокой разветвленности возникающей системы
ограниченных сводимостей $m$-типа. Построены примеры таких сводимостей, существенно отличающиеся от стандартной $m$-сводимости в отношении структуры порождаемых ими
систем степеней неразрешимости и в вопросе полноты множеств.
Библиография: 4 названия.
Поступило: 07.02.2000
Образец цитирования:
В. Н. Беляев, В. К. Булитко, “$m$-сводимость с верхними и нижними границами для сводящих функций”, Матем. заметки, 70:1 (2001), 12–21; Math. Notes, 70:1 (2001), 11–19
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm713https://doi.org/10.4213/mzm713 https://www.mathnet.ru/rus/mzm/v70/i1/p12
|
Статистика просмотров: |
Страница аннотации: | 412 | PDF полного текста: | 182 | Список литературы: | 65 | Первая страница: | 1 |
|