Д.И. Савельев - Публикации

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