Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Стукачев Алексей Ильич

В базах данных Math-Net.Ru
Публикаций: 13
Научных статей: 13

Статистика просмотров:
Эта страница:849
Страницы публикаций:7264
Полные тексты:801
Списки литературы:550
Стукачев Алексей Ильич
доцент
кандидат физико-математических наук
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Коды УДК: 510.5
Коды MSC: 03D45

Основные темы научной работы

математическая логика, теория алгоритмов, теория моделей, обобщенная вычислимость, математическая лингвистика

   
Основные публикации:
  1. Alexey Stukachev, “Effective model theory: an approach via Σ-definability”, Lecture Notes in Logic, 41 (2013), 164-197

https://www.mathnet.ru/rus/person28925
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/624024
https://orcid.org/0000-0002-4530-1961
https://www.scopus.com/authid/detail.url?authorId=23092343800

Публикации в базе данных Math-Net.Ru Цитирования
2022
1. А. С. Бурнистов, А. И. Стукачев, “О внутренней конструктивизируемости функциональных структур”, Алгебра и логика, 61:1 (2022),  23–41  mathnet
2021
2. А. И. Стукачев, “Интервальные расширения порядков и темпоральные аппроксимационные пространства”, Сиб. матем. журн., 62:4 (2021),  894–910  mathnet  elib; A. I. Stukachev, “Interval extensions of orders and temporal approximation spaces”, Siberian Math. J., 62:4 (2021), 730–741  isi  scopus 1
2017
3. А. И. Стукачев, “Процессы и структуры на аппроксимационных пространствах”, Алгебра и логика, 56:1 (2017),  93–109  mathnet  mathscinet; A. I. Stukachev, “Processes and structures on approximation spaces”, Algebra and Logic, 56:1 (2017), 63–74  isi  scopus 1
2016
4. А. И. Стукачев, “Обобщённо гиперарифметическая вычислимость над структурами”, Алгебра и логика, 55:6 (2016),  769–799  mathnet; A. I. Stukachev, “Generalized hyperarithmetical computability over structures”, Algebra and Logic, 55:6 (2017), 507–526  isi  scopus 3
2014
5. А. И. Стукачев, “О свойствах $s\Sigma$-сводимости”, Алгебра и логика, 53:5 (2014),  625–642  mathnet  mathscinet; A. I. Stukachev, “Properties of $s\Sigma$-reducibility”, Algebra and Logic, 53:5 (2014), 405–417  isi  scopus 1
6. А. И. Стукачев, “О квазирегулярных структурах вычислимых сигнатур”, Сиб. электрон. матем. изв., 11 (2014),  444–450  mathnet 2
2010
7. А. И. Стукачев, “$\Sigma$-определимость несчетных моделей $c$-простых теорий”, Сиб. матем. журн., 51:3 (2010),  649–661  mathnet  mathscinet  zmath; A. I. Stukachev, “$\Sigma$-definability of uncountable models of $c$-simple theories”, Siberian Math. J., 51:3 (2010), 515–524  isi  scopus 5
2009
8. А. И. Стукачев, “Теорема об обращении скачка для полурешеток $\Sigma$-степеней”, Сиб. электрон. матем. изв., 6 (2009),  182–190  mathnet  mathscinet; A. I. Stukachev, “A jump inversion theorem for the semilattices of $\Sigma$-degrees”, Siberian Advances in Mathematics, 20:1 (2010), 68–74 21
2008
9. А. И. Стукачев, “О степенях представимости моделей. II”, Алгебра и логика, 47:1 (2008),  108–126  mathnet  mathscinet  zmath; A. I. Stukachev, “Degrees of presentability of structures. II”, Algebra and Logic, 47:1 (2008), 65–74  isi  scopus 13
2007
10. А. И. Стукачев, “О степенях представимости моделей. I”, Алгебра и логика, 46:6 (2007),  763–788  mathnet  mathscinet  zmath  elib; A. I. Stukachev, “Degrees of presentability of structures. I”, Algebra and Logic, 46:6 (2007), 419–432  isi  elib  scopus 22
2005
11. А. И. Стукачев, “О внутренней конструктивизируемости допустимых множеств”, Вестн. НГУ. Сер. матем., мех., информ., 5:1 (2005),  69–76  mathnet 1
2004
12. А. И. Стукачев, “$\Sigma$-определимость в наследственно конечных надстройках и пары моделей”, Алгебра и логика, 43:4 (2004),  459–481  mathnet  mathscinet  zmath; A. I. Stukachev, “$\Sigma$-Definability in Hereditarily Finite Superstructures and Pairs of Models”, Algebra and Logic, 43:4 (2004), 258–270  scopus 7
2002
13. А. И. Стукачев, “$\Sigma$-допустимые семейства над линейными порядками”, Алгебра и логика, 41:2 (2002),  228–252  mathnet  mathscinet  zmath; A. I. Stukachev, “$\Sigma$-Admissible Families over Linear Orders”, Algebra and Logic, 41:2 (2002), 127–139  scopus 6

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024