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

Публикаций: 24 (24)
в MathSciNet: 16 (16)
в zbMATH: 11 (11)
в Web of Science: 13 (13)
в Scopus: 15 (15)
Цитированных статей: 9
Цитирований: 25
Лекций и докладов: 53

Статистика просмотров:
Эта страница:4133
Страницы публикаций:2899
Полные тексты:1212
Списки литературы:367
Савельев Денис Игоревич
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Ключевые слова: модели теории множеств, аксиома выбора, кардинальная арифметика, кардиналы без аксиомы выбора, аксиома регулярности и нефундированные множества, ультрафильтры и ультрарасширения моделей, общая топология.

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

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

   
Основные публикации:
  1. Д.И. Савельев, “Игра на универсуме множеств”, Известия РАН, сер. матем., 72:3 (2008), 175–224  mathnet  crossref  mathscinet
  2. Denis I. Saveliev, “On ultrafilter extensions of models”, The Infinity Project Proceedings, S.D. Friedman et al. (eds.), CRM Documents, 11, Barcelona, 2012, 599–616  mathscinet
  3. Denis I. Saveliev, “On idempotents in compact left topological universal algebras”, Topology Proceedings, 43 (2014), 37–46  mathscinet
  4. Denis I. Saveliev, “Ultrafilter extensions of linearly ordered sets”, Order, 32:1 (2015), 29–41  crossref  mathscinet
  5. Paul Howard, Denis I. Saveliev, Eleftherios Tachtsis, “On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements”, Mathematical Logic Quarterly, 62:3 (2016), 155–176

https://www.mathnet.ru/rus/person9007
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/651261

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2023
1. Denis I. Saveliev, A note on restriction rules, 2023 , 20 pp., arXiv: 2312.06626

   2022
2. Д. И. Савельев, “О редукции и отделимости проективных множеств в тихоновских пространствах”, УМН, 77:1(463) (2022), 189–190  mathnet  crossref  mathscinet  mathscinet  zmath  adsnasa  isi; D. I. Saveliev, “On reduction and separation of projective sets in Tychonoff spaces”, Russian Math. Surveys, 77:1 (2022), 180–182  crossref  mathscinet  mathscinet  zmath  isi  scopus
3. Denis I. Saveliev, Ilya B. Shapirovsky, “Medvedev’s logic and products of converse well orders”, Advances in Modal Logic, 14, College Publications, 2022, 681–696

   2020
4. Denis I. Saveliev, Ilya B. Shapirovsky, “On modal logics of model-theoretic relations”, Studia Logica, 108 (2020), 989-1017 , arXiv: 1804.09810  mathnet  crossref  mathscinet  isi  scopus 3
5. Denis I. Saveliev, Hausdorff operations and the reduction and separation properties in Tychonoff spaces, 2020 , arXiv: 2001.02033
6. Denis I. Saveliev, On two types of ultrafilter extensions of binary relations, 2020 , arXiv: 2001.02456

   2019
7. Denis I. Saveliev, “On first-order expressibility of satisfiability in submodels”, WoLLIC 2019, Lecture Notes in Computer Science, 11541, eds. R. Iemhoff et al., Springer-Verlag, 2019, 584–593 arXiv: 1903.04993  crossref  zmath  scopus 1

   2018
8. D. I. Saveliev, Hindman finite sums theorem and its application to topologizations of algebras, 2018 , 20 с., принята в Записки научных семинаров ПОМИ, arXiv: 1810.01947
9. N. L. Poliakov, D. I. Saveliev, On ultrafilter extensions of first-order models and ultrafilter interpretations, 2018 , Archive for Mathematical Logic 60 (2021), 625–681, arXiv: 1812.06248  crossref  mathscinet  isi  scopus 2

   2017
10. Д. И. Савельев, “О топологиях Зариского на поликольцах”, УМН, 72:4(436) (2017), 195–196  mathnet  crossref  mathscinet  mathscinet  zmath  adsnasa  isi  elib; D. I. Saveliev, “On Zariski topologies on polyrings”, Russian Math. Surveys, 72:4 (2017), 770–772  crossref  mathscinet  mathscinet  zmath  adsnasa  isi  scopus
11. D. I. Saveliev, S. Shelah, Ultrafilter extensions do not preserve elementary equivalence, Paper 1132 in Shelahs list, 2017 , Mathematical Logic Quarterly, 65:4 (2019), 511–515, arXiv: 1712.06198  crossref  isi  scopus 3
12. N. L. Poliakov, D. I. Saveliev, “On two concepts of ultrafilter extensions of first-order models and their generalizations”, Logic, Language, Information, and Computation, 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC) (18-21.07 2017, London), Lecture Notes in Comput. Sci., 10388, eds. J. Kennedy, R. J. G. B. de Queiroz, Springer, Berlin, Heidelberg, 2017, 336–348  mathnet  crossref  mathscinet  isi  scopus 2

   2016
13. P. E. Howard, D. I. Saveliev, E. Tachtsis, “On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements”, Mathematical Logic Quarterly, 62:3 (2016), 155–176  crossref  mathscinet  zmath  isi  elib  scopus 5
14. Д. И. Савельев, “Замечание о сингулярных кардиналах без аксиомы выбора”, УМН, 71:2(428) (2016), 213–214  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; D. I. Saveliev, “A note on singular cardinals without the axiom of choice”, Russian Math. Surveys, 71:2 (2016), 385–387  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus
15. D. I. Saveliev, I. B. Shapirovsky, “On modal logic of submodels”, 11th Advances in Modal Logic, Short Papers, 2016, 115–119

   2015
16. D. I. Saveliev, “Ultrafilter extensions of linearly ordered sets”, Order, 32:1 (2015), 29–41  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 3

   2014
17. D. I. Saveliev, “On idempotents in compact left topological universal algebras”, Topology Proceedings, 43 (2014), 37–46  mathscinet  zmath

   2012
18. D. I. Saveliev, “On ultrafilter extensions of models”, The Infinity Project Proceedings, CRM Documents, 11, eds. S.-D. Friedman et al., CRMS, Barcelona, 2012, 599–616 http://folk.uio.no/larsk/Documents_11-2.pdf
19. D. I. Saveliev, “On modal logic of dynamics: actions of arbitrary semigroups”, 9th Advances in Modal Logic, Short Presentations, eds. Th. Bolander et al., 2012, 68–75

   2011
20. D. I. Saveliev, “Ultrafilter extensions of models”, Logic and Its Applications, Lecture Notes in Computer Science, Springer, 2011, 162–177  crossref  mathscinet  scopus 5

   2008
21. Д. И. Савельев, “Игра на универсуме множеств”, Изв. РАН. Сер. матем., 72:3 (2008), 175–224  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; D. I. Saveliev, “A game on the universe of sets”, Izv. Math., 72:3 (2008), 581–625  crossref  mathscinet  zmath  isi  elib  scopus

   2007
22. Д. И. Савельев, “Сообщение об игре на универсуме множеств”, Матем. заметки, 81:5 (2007), 797–800  mathnet  crossref  mathscinet  zmath  isi  elib; D. I. Saveliev, “A Report on a Game on the Universe of Sets”, Math. Notes, 81:5 (2007), 716–719  crossref  mathscinet  zmath  isi  scopus 1

   2003
23. Д. И. Савельев, “Об изоморфизме отношений, вкладывающихся друг в друга”, Матем. заметки, 74:4 (2003), 573–589  mathnet  crossref  mathscinet  zmath  isi; D. I. Saveliev, “On Isomorphisms of Relations Embedded into Each Other”, Math. Notes, 74:4 (2003), 543–556  crossref  mathscinet  zmath  isi  scopus

   1998
24. Д. И. Савельев, “Замечание о связи линейного порядка с мерой и категорией”, УМН, 53:6(324) (1998), 261–262  mathnet  crossref  mathscinet  zmath  adsnasa  isi; D. I. Saveliev, “A remark on the connection between linear order and measure and category”, Russian Math. Surveys, 53:6 (1998), 1365–1366  crossref  mathscinet  zmath  adsnasa  isi  scopus

Доклады и лекции в базе данных Math-Net.Ru
1. О модальных логиках теоретико-модельных отношений
Д. И. Савельев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
16 мая 2022 г. 18:30   
2. Лекция 12. Теория множеств
Д. И. Савельев
Теория множеств
25 апреля 2022 г. 16:35   
3. Лекция 11. Теория множеств
Д. И. Савельев
Теория множеств
18 апреля 2022 г. 16:35   
4. Лекция 10. Теория множеств
Д. И. Савельев
Теория множеств
11 апреля 2022 г. 16:35   
5. Лекция 9. Теория множеств
Д. И. Савельев
Теория множеств
4 апреля 2022 г. 16:35   
6. Лекция 8. Теория множеств
Д. И. Савельев
Теория множеств
28 марта 2022 г. 16:35   
7. Лекция 7. Теория множеств
Д. И. Савельев
Теория множеств
21 марта 2022 г. 16:35   
8. Лекция 6. Теория множеств
Д. И. Савельев
Теория множеств
14 марта 2022 г. 16:35   
9. Лекция 5. Теория множеств
Д. И. Савельев
Теория множеств
7 марта 2022 г. 16:35
10. Лекция 4. Теория множеств
Д. И. Савельев
Теория множеств
28 февраля 2022 г. 16:35   
11. Лекция 3. Теория множеств
Д. И. Савельев
Теория множеств
21 февраля 2022 г. 16:35   
12. Лекция 2. Теория множеств
Д. И. Савельев
Теория множеств
14 февраля 2022 г. 16:35   
13. Лекция 1. Теория множеств
Д. И. Савельев
Теория множеств
7 февраля 2022 г. 16:25   
14. Лекция 15. Краткий обзор конструктивного универсума
Д. И. Савельев
Теория множеств
20 декабря 2021 г. 14:45   
15. Лекция 14. Теоретико-модельные конструкции и модели теории множеств. Относительная непротиворечивость аксиомы регулярности. Недостижимые кардиналы
Д. И. Савельев
Теория множеств
13 декабря 2021 г. 14:45   
16. Лекция 13. Отделимость аналитических множеств борелевскими, теорема Суслина. Свойства регулярности аналитических множеств
Д. И. Савельев
Теория множеств
6 декабря 2021 г. 14:45   
17. Лекция 12. Борелевские, аналитические и проективные множества. Универсальные множества данного класса
Д. И. Савельев
Теория множеств
29 ноября 2021 г. 14:45   
18. Лекция 11. Матрицы Улама. Нормальные меры на измеримых кардиналах
Д. И. Савельев
Теория множеств
22 ноября 2021 г. 14:45   
19. Лекция 10. Измеримые и вещественнозначно измеримые кардиналы. Теорема Улама
Д. И. Савельев
Теория множеств
15 ноября 2021 г. 14:45   
20. Лекция 9. Деревья Суслина и Ароншайна, слабо компактные и рамсеевские кардиналы
Д. И. Савельев
Теория множеств
8 ноября 2021 г. 14:45   
21. Лекция 8. Теоремы Эрдёша – Радо и Душника – Миллера. Слабо компактные кардиналы
Д. И. Савельев
Теория множеств
1 ноября 2021 г. 14:45   
22. Лекция 7. Исчисление разбиений, теорема Рамсея
Д. И. Савельев
Теория множеств
25 октября 2021 г. 14:45   
23. Лекция 6. Иерархия стационарных множеств. Замкнутый неограниченный фильтр на множествах подмножеств
Д. И. Савельев
Теория множеств
18 октября 2021 г. 14:45   
24. Лекция 5.Теорема Сильвера о GCH
Д. И. Савельев
Теория множеств
11 октября 2021 г. 14:45   
25. Лекция 4. Замкнутые неограниченные и стационарные множества
Д. И. Савельев
Теория множеств
4 октября 2021 г. 14:45   
26. Лекция 3. Фильтры и идеалы булевых алгебр. Теорема Стоуна о представлении. Полные булевы алгебры. Насыщенность и дистрибутивность
Д. И. Савельев
Теория множеств
27 сентября 2021 г. 14:45   
27. Лекция 2. Ультрафильтры на счётном множестве. Булевы алгебры
Д. И. Савельев
Теория множеств
20 сентября 2021 г. 14:45   
28. Лекция 1. Фильтры и ультрафильтры
Д. И. Савельев
Теория множеств
13 сентября 2021 г. 14:45   
29. Лекция 11. Аксиома регулярности, теорема Мостовского о коллапсе
Д. И. Савельев
Теория множеств
17 мая 2021 г. 15:05   
30. Лекция 10. Гимель-функция, вычисление степеней, SCH
Д. И. Савельев
Теория множеств
26 апреля 2021 г. 15:05   
31. Лекция 9. Бесконечные суммы и произведения, теорема Ю. Кёнига, GCH
Д. И. Савельев
Теория множеств
19 апреля 2021 г. 15:05   
32. Лекция 8. Аксиома выбора и её следствия
Д. И. Савельев
Теория множеств
12 апреля 2021 г. 15:05   
33. Лекция 7. Определение борелевских множеств. Пространство Бэра, представление замкнутых множеств деревьями
Д. И. Савельев
Теория множеств
5 апреля 2021 г. 15:05   
34. Лекция 6. Вещественная прямая, порядковые и топологические свойства
Д. И. Савельев
Теория множеств
29 марта 2021 г. 15:05   
35. Лекция 5. Конфинальность
Д. И. Савельев
Теория множеств
22 марта 2021 г. 15:05   
36. Лекция 4. Кардинальные числа. Алефы
Д. И. Савельев
Теория множеств
15 марта 2021 г. 15:05   
37. Лекция 3. Арифметика ординалов, фундированные отношения
Д. И. Савельев
Теория множеств
1 марта 2021 г. 15:05   
38. Лекция 2. Вполне упорядоченные множества, ординальные числа, трансфинитная рекурсия
Д. И. Савельев
Теория множеств
15 февраля 2021 г. 15:05   
39. Лекция 1. Аксиомы теории ZFC
Д. И. Савельев
Теория множеств
8 февраля 2021 г. 15:05   
40. О принципах редукции и отделимости в тихоновских пространствах.
Д. И. Савельев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
2 марта 2020 г. 18:30   
41. О первопорядковой выразимости выполнимости в подмоделях
Д. И. Савельев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
1 апреля 2019 г. 18:30
42. Об изоморфизме $\kappa$-плотных множеств вещественных чисел и близких вопросах
Д. И. Савельев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
18 февраля 2019 г. 18:30
43. О свойствах редукции и отделимости проективных классов в совершенных прообразах отрезка
Д. И. Савельев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
20 марта 2018 г. 18:30
44. Systems of propositions referring to each other: a model-theoretic view
D. Saveliev
Workshop on Proof Theory, Modal Logic and Reflection Principles
18 октября 2017 г. 12:50   
45. О предупорядочении по вложению универсальных алгебр
Д. И. Савельев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
7 марта 2017 г. 18:30
46. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
Д. И. Савельев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
7 ноября 2016 г. 18:30
47. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
Д. И. Савельев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
31 октября 2016 г. 18:30
48. Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
28 марта 2016 г.
49. Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
21 марта 2016 г. 18:30
50. О минимальных леводистрибутивных группоидах
Д. И. Савельев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
10 ноября 2015 г. 18:30
51. On Ultralter Extensions of First-Order Models
Д. И. Савельев
Совместный семинар лаборатории J.-V. Poncelet и сектора Алгебры и теории чисел № 4.1 ИППИ РАН «Арифметика, геометрия и теория кодирования»
25 февраля 2014 г. 17:30
52. О расширении линейно упорядоченных множеств с помощью ультрафильтров
Д. И. Савельев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
22 октября 2013 г. 18:30
53. О топологиях Зариского на кольцах и более общих алгебрах
Д. И. Савельев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
6 марта 2012 г. 18:30

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