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

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

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



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






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


Чебышевский сборник, 2021, том 22, выпуск 1, страницы 304–327
DOI: https://doi.org/10.22405/2226-8383-2018-22-1-304-327
(Mi cheb1003)
 

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

Решетка определимости. Источники и направления исследований

А. Л. Семеновab, С. Ф. Сопруновcb

a Московский государственный университет им. М. В. Ломоносова (г. Москва)
b Институт кибернетики и образовательной информатики им. А. И. Берга ФИЦ ИУ РАН (г. Москва)
c Центр педагогического мастерства Департамента образования и науки Москвы (г. Москва)
Список литературы:
Аннотация: В статье представлены результаты и открытые проблемы, относящиеся к пространствам определимости (редуктам), а также источникам этой области, начиная с XIX века. Исследуются условия конечности и ограничения, в том числе глубина чередования кванторов и число аргументов. Описаны результаты, относящиеся к описанию решеток пространств определимости для числовых и других естественных структур. Методы исследования включают изучение групп автоморфизмов элементарных расширений рассматриваемых структур, использование теоремы Свенониуса.
Ключевые слова: определимость, пространство определимости, редукты, теорема Свенониуса, элиминация кванторов, разрешимость, автоморфизмы.
Финансовая поддержка Номер гранта
Российский научный фонд 17-11-01377
Российский фонд фундаментальных исследований 19-29-14199
Работа выполнена при поддержке РНФ (А. Л. Семенов, грант № 17-11-01377 – разделы 1, 3, 5) и РФФИ (С. Ф. Сопрунов, грант № 19-29-14199 – разделы 2, 4).
Поступила в редакцию: 20.12.2020
Принята в печать: 21.02.2021
Англоязычная версия:
Doklady Mathematics (Supplementary issues), 2022, Volume 106, Issue 2, Pages 288–298
DOI: https://doi.org/10.1134/S1064562423700370
Тип публикации: Статья
УДК: 517
Образец цитирования: А. Л. Семенов, С. Ф. Сопрунов, “Решетка определимости. Источники и направления исследований”, Чебышевский сб., 22:1 (2021), 304–327; Doklady Mathematics (Supplementary issues), 106:2 (2022), 288–298
Цитирование в формате AMSBIB
\RBibitem{SemSop21}
\by А.~Л.~Семенов, С.~Ф.~Сопрунов
\paper Решетка определимости. Источники и направления исследований
\jour Чебышевский сб.
\yr 2021
\vol 22
\issue 1
\pages 304--327
\mathnet{http://mi.mathnet.ru/cheb1003}
\crossref{https://doi.org/10.22405/2226-8383-2018-22-1-304-327}
\transl
\jour Doklady Mathematics (Supplementary issues)
\yr 2022
\vol 106
\issue 2
\pages 288--298
\crossref{https://doi.org/10.1134/S1064562423700370}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/cheb1003
  • https://www.mathnet.ru/rus/cheb/v22/i1/p304
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:157
    PDF полного текста:52
    Список литературы:15
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024