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

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

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



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






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


Вестн. НГУ. Сер. матем., мех., информ., 2015, том 15, выпуск 3, страницы 51–60 (Mi vngu375)  

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

Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков

С. С. Гончаровab, Н. А. Баженовba, М. И. Марчукb

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

Аннотация: Доказано, что вычислимый ординал $\alpha$ является автоустойчивым относительно сильных конструктивизаций в том и только том случае, когда $\alpha<\omega^{\omega+1}$. Получена точная оценка алгоритмической сложности для класса сильно конструктивизируемых линейных порядков, являющихся автоустойчивыми относительно сильных конструктивизаций.

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

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 13-01-91001-АНФ-а
14-01-00376
Министерство образования и науки Российской Федерации НШ-860.2014.1
Исследования С.С. Гончарова выполнены при частичной финансовой поддержке РФФИ (проект 13-01-91001-АНФ-а). Исследования Н.А. Баженова частично поддержаны Советом по грантам Президента РФ для государственной поддержки ведущих научных школ (проект НШ-860.2014.1). Исследования М.И. Марчук частично поддержаны РФФИ (проект 14-01-00376).


DOI: https://doi.org/10.17377/PAM.2015.15.304

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

Англоязычная версия:
Journal of Mathematical Sciences, 2017, 221:6, 840–848

Тип публикации: Статья
УДК: 510.5+510.6
Поступила в редакцию: 06.04.2015

Образец цитирования: С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Вестн. НГУ. Сер. матем., мех., информ., 15:3 (2015), 51–60; J. Math. Sci., 221:6 (2017), 840–848

Цитирование в формате AMSBIB
\RBibitem{GonBazMar15}
\by С.~С.~Гончаров, Н.~А.~Баженов, М.~И.~Марчук
\paper Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков
\jour Вестн. НГУ. Сер. матем., мех., информ.
\yr 2015
\vol 15
\issue 3
\pages 51--60
\mathnet{http://mi.mathnet.ru/vngu375}
\crossref{https://doi.org/10.17377/PAM.2015.15.304}
\transl
\jour J. Math. Sci.
\yr 2017
\vol 221
\issue 6
\pages 840--848
\crossref{https://doi.org/10.1007/s10958-017-3272-0}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/vngu375
  • http://mi.mathnet.ru/rus/vngu/v15/i3/p51

    ОТПРАВИТЬ: 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. М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций структур с двумя отношениями эквивалентности”, Алгебра и логика, 55:4 (2016), 465–477  mathnet  crossref; M. I. Marchuk, “Index set of structures with two equivalence relations that are autostable relative to strong constructivizations”, Algebra and Logic, 55:4 (2016), 306–314  crossref  isi
    2. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций групп”, Сиб. матем. журн., 58:1 (2017), 95–103  mathnet  crossref  elib; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of the groups autostable relative to strong constructivizations”, Siberian Math. J., 58:1 (2017), 72–77  crossref  isi  elib
  • Вестник Новосибирского государственного университета. Серия: математика, механика, информатика
    Просмотров:
    Эта страница:176
    Полный текст:23
    Литература:29
    Первая стр.:8
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019