Математические труды
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Матем. тр.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Математические труды, 2023, том 26, номер 1, страницы 176–191
DOI: https://doi.org/10.33048/mattrudy.2023.26.109
(Mi mt694)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Позитивные сводимости, экстремальные нумерации и полнота

М. Х. Файзрахмановab

a Казанский (Приволжский) федеральный университет, Казань, 420008, РОССИЯ
b Научно-образовательный математический центр ПФО ул. Кремлевская, д. 35, Казань, 420008, РОССИЯ
Аннотация: В статье исследуются нумерации семейств арифметических множеств и свойства их универсальности, минимальности и полноты. Доказано, что для произвольного $m\in\mathbb{N}$ каждое нетривиальное $\Sigma^0_{m+2}$-вычислимое семейство $\mathcal{S}$ обладает $\Sigma^0_{m+2}$-вычислимой неуниверсальной относительно позитивных сводимостей нумерацией, полной относительно любого наперед заданного элемента $B\in\mathcal{S}$. Для конечных семейств в.п. множеств получен критерий существования их полных вычислимых неуниверсальных относительно позитивных сводимостей нумераций. Для любого бесконечного $\Sigma^0_{m+2}$-вычислимого семейства $\mathcal{S}$ и любого элемента $B\in\mathcal{S}$ построена его $\Sigma^0_{m+2}$-вычислимая полная относительно $B$ нумерация, минимальная относительно классической и позитивных сводимостей.
Ключевые слова и фразы: нумерация, $\Sigma^0_n$-вычислимая нумерация, сводимость нумераций, $e$-сводимость, $p$-сводимость, универсальная нумерация, минимальная нумерация, полная нумерация.
Финансовая поддержка Номер гранта
Российский научный фонд 22-21-20024
Научно-образовательный математический центр Приволжского федерального округа 075-02-2023-944
Работа поддержана грантом Российского научного фонда (проект № 22-21-20024) и выполнена в рамках реализации программы развития Научно-образовательного математического центра Приволжского федерального округа (соглашение № 075-02-2023-944).
Статья поступила: 15.08.2022
Переработанный вариант: 17.04.2023
Принята к публикации: 17.05.2023
Англоязычная версия:
Siberian Advances in Mathematics, 2023, Volume 33, Issue 3, Pages 204–213
DOI: https://doi.org/10.1134/S1055134423030057
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.57
Образец цитирования: М. Х. Файзрахманов, “Позитивные сводимости, экстремальные нумерации и полнота”, Матем. тр., 26:1 (2023), 176–191; Siberian Adv. Math., 33:3 (2023), 204–213
Цитирование в формате AMSBIB
\RBibitem{Fai23}
\by М.~Х.~Файзрахманов
\paper Позитивные сводимости, экстремальные нумерации и полнота
\jour Матем. тр.
\yr 2023
\vol 26
\issue 1
\pages 176--191
\mathnet{http://mi.mathnet.ru/mt694}
\crossref{https://doi.org/10.33048/mattrudy.2023.26.109}
\elib{https://elibrary.ru/item.asp?id=54901445}
\transl
\jour Siberian Adv. Math.
\yr 2023
\vol 33
\issue 3
\pages 204--213
\crossref{https://doi.org/10.1134/S1055134423030057}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mt694
  • https://www.mathnet.ru/rus/mt/v26/i1/p176
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Математические труды Siberian Advances in Mathematics
    Статистика просмотров:
    PDF полного текста:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024