2022 |
Савельев Д.И., “О редукции и отделимости проективных множеств в тихоновских пространствах”, УМН, 77:1(463) (2022), 189–190; “On reduction and separation of projective sets in Tychonoff spaces”, Russian Math. Surveys, 77:1 (2022), 180–182
|
Савельев Д.И., Шапировский И.Б., “Medvedev’s logic and products of converse well orders”, Advances in Modal Logic, 14, College Publications, 2022, 681–696
|
2021 |
Савельев Д.И., Поляков Н.Л., “On ultrafilter extensions of first-order models and ultrafilter interpretations”, Archive for Mathematical Logic 60 (2021), 625–681. arXiv: 1812.06248
|
2020 |
Савельев Д.И., “On two types of ultrafilter extensions of binary relations”, 2020, arXiv: 2001.02456
|
Савельев Д.И., Шапировский И.Б., “On modal logics of model-theoretic relations”, Studia Logica, 108:5 (2020), 989–1017. arXiv: 1804.09810 http://iitp.ru/https://arxiv.org/abs/1804.09810
|
2019 |
Савельев Д.И., “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
|
Савельев Д.И., Шелах С., “Ultrafilter extensions do not preserve elementary equivalence”, Mathematical Logic Quarterly, 65:4 (2019), 511–515
|
2018 |
Савельев Д.И., “Hindman finite sums theorem and its application to topologizations of algebras”, arXiv: 1810.01947
|
2017 |
Савельев Д.И., “О топологиях Зариского на поликольцах”, УМН, 72:4(436) (2017), 195–196
|
Савельев Д.И., Поляков Н.Л., “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
|
2016 |
Савельев Д.И., Шапировский И.Б., “On modal logic of submodels”, 11th Advances in Modal Logic, Short Papers, 2016, 115–119
|
Савельев Д.И., “Замечание о сингулярных кардиналах без аксиомы выбора”, УМН, 71:2(428) (2016), 213–214
“A note on singular cardinals without the axiom of choice”, Russian Math. Surveys, 71:2 (2016), 385–387
|
Савельев Д.И., Тактсис Э., Ховард П.Э., “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
|
2015 |
Савельев Д.И., “Ultrafilter extensions of linearly ordered sets”, Order, 32:1 (2015), 29–41
|
2014 |
Савельев Д.И., “On idempotents in compact left topological universal algebras”, Topology Proceedings, 43 (2014), 37–46 http://www.ams.org/mathscinet-getitem?mr=3056196
|
2012 |
Савельев Д.И., “On ultrafilter extensions of models”, The Infinity Project Proceedings, S.D. Friedman et al. (eds.), CRM Documents, 11, Barcelona, 2012, 599–616 http://www.ams.org/mathscinet-getitem?mr=2787254
|
Савельев Д.И., “On modal logic of dynamics: actions of arbitrary semigroups”, 9th Advances in Modal Logic, Short Papers, eds. Th. Bolander et al., 2012, 68–75
|
2011 |
Савельев Д.И., “Ultrafilter extensions of models”, Logic and Its Applications, Lecture Notes in Computer Science, Springer, 2011, 162–177
|
2008 |
Савельев Д.И., “Игра на универсуме множеств”, Известия РАН, сер. матем., 72:3 (2008), 175–224 http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=2601&option_lang=rus
|
2007 |
Савельев Д.И., “Сообщение об игре на универсуме множеств”, Матем. заметки, 81:5 (2007), 797–800
|
2003 |
Савельев Д.И., “Об изоморфизме отношений, вкладывающихся друг в друга”, Матем. заметки, 74:4 (2003), 573–589
“On Isomorphisms of Relations Embedded into Each Other”, Math. Notes, 74:4 (2003), 543–556
|
1998 |
Савельев Д.И., “Замечание о связи линейного порядка с мерой и категорией”, УМН, 53:6(324) (1998), 261–262
“A remark on the connection between linear order and measure and category”, Russian Math. Surveys, 53:6 (1998), 1365–1366
|