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

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

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



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






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


Алгебра и логика, 2016, том 55, номер 6, страницы 769–799 (Mi al774)  

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

Обобщённо гиперарифметическая вычислимость над структурами

А. И. Стукачевab

a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ

Аннотация: Рассматривается класс аппроксимационных пространств, порождённых допустимыми множествами и, в частности, наследственно конечными надстройками над структурами. Обобщённая вычислимость на аппроксимационных пространствах понимается как эффективная определимость в динамической логике. Аналогично понятию структуры, $\Sigma$-определимой в допустимом множестве, вводится понятие эффективной определимости структуры на аппроксимационном пространстве. Аналогично тому, как определяется отношение $\Sigma$-сводимости, естественным образом возникает отношение сводимости на структурах, порождающее соответствующие полурешётки степеней структур (произвольной мощности), а также операция скачка. Устанавливается естественное вложение в эти полурешётки полурешётки гиперстепеней множеств натуральных чисел, сохраняющее операцию гиперскачка. Даётся синтаксическое описание структур, имеющих гиперстепень.

Ключевые слова: теория вычислимости, допустимые множества, аппроксимационные пространства, конструктивные модели, вычислимый анализ, гиперарифметическая вычислимость.

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 15-01-05114-a
Министерство образования и науки Российской Федерации НШ-6848.2016.1
Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований, проект № 15-01-05114-a, и Совета по грантам Президента РФ для государственной поддержки ведущих научных школ, проект НШ-6848.2016.1.


DOI: https://doi.org/10.17377/alglog.2016.55.606

Полный текст: PDF файл (269 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Algebra and Logic, 2017, 55:6, 507–526

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.5
Поступило: 13.04.2015
Окончательный вариант: 07.11.2016

Образец цитирования: А. И. Стукачев, “Обобщённо гиперарифметическая вычислимость над структурами”, Алгебра и логика, 55:6 (2016), 769–799; Algebra and Logic, 55:6 (2017), 507–526

Цитирование в формате AMSBIB
\RBibitem{Stu16}
\by А.~И.~Стукачев
\paper Обобщённо гиперарифметическая вычислимость над структурами
\jour Алгебра и логика
\yr 2016
\vol 55
\issue 6
\pages 769--799
\mathnet{http://mi.mathnet.ru/al774}
\crossref{https://doi.org/10.17377/alglog.2016.55.606}
\transl
\jour Algebra and Logic
\yr 2017
\vol 55
\issue 6
\pages 507--526
\crossref{https://doi.org/10.1007/s10469-017-9421-1}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000396462200006}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85014996007}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al774
  • http://mi.mathnet.ru/rus/al/v55/i6/p769

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. А. И. Стукачев, “Процессы и структуры на аппроксимационных пространствах”, Алгебра и логика, 56:1 (2017), 93–109  mathnet  crossref  mathscinet; A. I. Stukachev, “Processes and structures on approximation spaces”, Algebra and Logic, 56:1 (2017), 63–74  crossref  isi
    2. А. И. Стукачев, “Интервальные расширения порядков и темпоральные аппроксимационные пространства”, Сиб. матем. журн., 62:4 (2021), 894–910  mathnet  crossref
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:3843
    Полный текст:18
    Литература:24
    Первая стр.:7
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021