|
Алгебра и логика, 2009, том 48, номер 1, страницы 31–53
(Mi al389)
|
|
|
|
Эта публикация цитируется в 20 научных статьях (всего в 20 статьях)
О сводимости на семействах
И. Ш. Калимуллинa, В. Г. Пузаренкоb a Отдел алгебры и матем. логики, НИИ матем. мех. им. Н. Г. Чеботарёва при Казанском государственном университете, г. Казань, Россия
b Ин-т матем. СО РАН, г. Новосибирск, Россия
Аннотация:
Вводится одна сводимость на семействах подмножеств натуральных чисел, позволяющая рассматривать семейство само по себе, не фиксируя при этом его представление с помощью натуральных чисел. Эта сводимость используется для изучения серии проблем как в классической вычислимости, так и на допустимых множествах: описание индексных множеств семейств, принадлежащих $\Sigma^0_3$, обобщение теоремы полноты Фридберга для смежной сводимости на допустимых множествах и др.
Ключевые слова:
семейство подмножеств натуральных чисел, допустимое множество, сводимость.
Поступило: 29.11.2007 Окончательный вариант: 30.10.2008
Образец цитирования:
И. Ш. Калимуллин, В. Г. Пузаренко, “О сводимости на семействах”, Алгебра и логика, 48:1 (2009), 31–53; Algebra and Logic, 48:1 (2009), 20–32
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al389 https://www.mathnet.ru/rus/al/v48/i1/p31
|
Статистика просмотров: |
Страница аннотации: | 583 | PDF полного текста: | 192 | Список литературы: | 93 | Первая страница: | 5 |
|