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

Публикаций: 14
Научных статей: 14
в MathSciNet: 8
в zbMATH: 6
в Web of Science: 7
в Scopus: 8
Цитированных статей: 3
Ссылок в Math-Net.Ru: 1
Ссылок в MathSciNet: 3
Ссылок в Web of Science: 1
Ссылок в Scopus: 1
Лекций и докладов: 10

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

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



   2017
1. Д. И. Савельев, “О топологиях Зариского на поликольцах”, УМН, 72:4(436) (2017), 195–196  mathnet  crossref  elib
2. 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  scopus

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

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

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

   2012
8. 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
9. 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
10. 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
11. Д. И. Савельев, “Игра на универсуме множеств”, Изв. РАН. Сер. матем., 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
12. Д. И. Савельев, “Сообщение об игре на универсуме множеств”, Матем. заметки, 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
13. Д. И. Савельев, “Об изоморфизме отношений, вкладывающихся друг в друга”, Матем. заметки, 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
14. Д. И. Савельев, “Замечание о связи линейного порядка с мерой и категорией”, УМН, 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

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