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

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

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



Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти






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


Алгебра и логика, 1988, том 27, номер 3, страницы 343–358 (Mi al2020)  

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

Индексные множества фактор-объектов нумерации Поста

В. Л. Селиванов
Аннотация: Изучаются факторизации нумерации Поста $\pi$ по некоторым отношениям эквивалентности на рекурсивно-перечислимых множествах. Оказалось, что при этом важную роль играют релятивизации понятий предполноты, полноты и $2$-полноты. Например, если $\sim$ — нетривиальное отношение конгруэнтности на решетке рекурсивно-перечислимых множеств, то факторизация $\widetilde\pi$ — универсальная $2$-полная нумерация относительно $\varnothing'$. Если $\sim$ — отношение $T$-эквивалентности, то $\widetilde\pi$ — универсальная полная нумерация относительно $\varnothing''$. Если $\sigma\sim\tau$ означает $\exists n \,\left(\sigma^{(n)}\equiv_T\tau^{(n)}\right)$, то $\widetilde\pi$ — универсальная предполная нумерация относительно $\varnothing^{(\omega)}$. Приводится также ряд следствий об индексных множествах таких факторизации.
Поступило: 24.12.1986
Англоязычная версия:
Algebra and Logic
DOI: https://doi.org/10.1007/BF01978567
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.5
Образец цитирования: В. Л. Селиванов, “Индексные множества фактор-объектов нумерации Поста”, Алгебра и логика, 27:3 (1988), 343–358
Цитирование в формате AMSBIB
\RBibitem{Sel88}
\by В.~Л.~Селиванов
\paper Индексные множества фактор-объектов нумерации Поста
\jour Алгебра и логика
\yr 1988
\vol 27
\issue 3
\pages 343--358
\mathnet{http://mi.mathnet.ru/al2020}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=997964}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al2020
  • https://www.mathnet.ru/rus/al/v27/i3/p343
  • Эта публикация цитируется в следующих 15 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:78
    PDF полного текста:42
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024