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

Публикаций: 16 (16)
в MathSciNet: 10 (10)
в zbMATH: 6 (6)
в Web of Science: 9 (9)
в Scopus: 9 (9)
Цитированных статей: 3
Ссылок в Math-Net.Ru: 1
Ссылок в MathSciNet: 3
Ссылок в Web of Science: 2
Ссылок в Scopus: 1
Лекций и докладов: 10

Статистика просмотров:
Эта страница:1973
Страницы публикаций:1321
Полные тексты:262
Списки литературы:159
Савельев Денис Игоревич
Специальность ВАК: 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

http://www.mathnet.ru/rus/person9007
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=651261

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



   2018
1. Denis I. Saveliev, Ilya B. Shapirovsky, On modal logics of model-theoretic relations, 2018 (Published online) , 24 pp., submitted to Studia Logica, arXiv: 1804.09810

   2017
2. Д. И. Савельев, “О топологиях Зариского на поликольцах”, УМН, 72:4(436) (2017), 195–196  mathnet  crossref  mathscinet  mathscinet  adsnasa  elib; D. I. Saveliev, “On Zariski topologies on polyrings”, Russian Math. Surveys, 72:4 (2017), 770–772  crossref  mathscinet  mathscinet  isi  scopus
3. D. I. Saveliev, N. L. Poliakov, “On two concepts of ultrafilter extensions of first-order models and their generalizations”, Logic, Language, Information, and Computation, Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. J. G. B. de Queiroz, Springer, Berlin, Heidelberg, 2017, 336–348  crossref  isi  scopus
4. D. I. Saveliev, S. Shelah, Ultrafilter extensions do not preserve elementary equivalence, Paper 1132 in Shelah's list, 2017 (Published online) , 9 pp., submitted to Archive for Mathematical Logic, arXiv:1712.06198

   2016
5. 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  isi  scopus
6. Д. И. Савельев, “Замечание о сингулярных кардиналах без аксиомы выбора”, УМН, 71:2(428) (2016), 213–214  mathnet  crossref  mathscinet  zmath  adsnasa  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  isi  scopus
7. D. I. Saveliev, I. B. Shapirovsky, “On modal logic of submodels”, 11th Advances in Modal Logic, Short Papers, 2016, 115–119

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

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

   2012
10. 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
11. 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
12. D. I. Saveliev, “Ultrafilter extensions of models”, Logic and Its Applications, Lecture Notes in Computer Science, Springer, 2011, 162–177  crossref  mathscinet (cited: 2)

   2008
13. Д. И. Савельев, “Игра на универсуме множеств”, Изв. РАН. Сер. матем., 72:3 (2008), 175–224  mathnet  crossref  mathscinet  zmath  adsnasa  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
14. Д. И. Савельев, “Сообщение об игре на универсуме множеств”, Матем. заметки, 81:5 (2007), 797–800  mathnet (цит.: 1)  crossref  mathscinet (цит.: 1)  zmath  elib (цит.: 1); D. I. Saveliev, “A Report on a Game on the Universe of Sets”, Math. Notes, 81:5 (2007), 716–719  crossref  mathscinet  zmath  isi (cited: 1)  scopus

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

   1998
16. Д. И. Савельев, “Замечание о связи линейного порядка с мерой и категорией”, УМН, 53:6(324) (1998), 261–262  mathnet  crossref  mathscinet  zmath  adsnasa; 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  isi  scopus

Доклады и лекции в базе данных Math-Net.Ru
1. 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   
2. О предупорядочении по вложению универсальных алгебр
Д. И. Савельев
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
7 марта 2017 г. 18:30
3. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1.
Д. И. Савельев
Семинар отдела математической логики «Теория доказательств»
7 ноября 2016 г. 18:30
4. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
Д. И. Савельев
Семинар отдела математической логики «Теория доказательств»
31 октября 2016 г. 18:30
5. Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
Семинар отдела математической логики «Теория доказательств»
28 марта 2016 г.
6. Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
Семинар отдела математической логики «Теория доказательств»
21 марта 2016 г. 18:30
7. О минимальных леводистрибутивных группоидах
Д. И. Савельев
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
10 ноября 2015 г. 18:30
8. On Ultralter Extensions of First-Order Models
Д. И. Савельев
Совместный семинар лаборатории J.-V. Poncelet и сектора Алгебры и теории чисел № 4.1 ИППИ РАН «Арифметика, геометрия и теория кодирования»
25 февраля 2014 г. 17:30
9. О расширении линейно упорядоченных множеств с помощью ультрафильтров
Д. И. Савельев
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
22 октября 2013 г. 18:30
10. О топологиях Зариского на кольцах и более общих алгебрах
Д. И. Савельев
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
6 марта 2012 г. 18:30

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