Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Saveliev, Denis Igorevich

Total publications: 21 (21)
in MathSciNet: 14 (14)
in zbMATH: 9 (9)
in Web of Science: 12 (12)
in Scopus: 14 (14)
Cited articles: 8
Citations in Math-Net.Ru: 1
Citations in Web of Science: 8
Citations in Scopus: 17
Presentations: 33

Number of views:
This page:3109
Abstract pages:1954
Full texts:718
References:220
Saveliev, Denis Igorevich
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Keywords: models of set theory, axiom of choice, cardinal arithmetic, cardinals without choice, axiom of regularity and non-well-founded sets, ultrafilters and ultra-extensions of models, general topology.

Subject:

set theory, model theory, mathematical logic, general topology

   
Main publications:
  1. Denis I. Saveliev, “A game on the universe of sets”, Izvestiya: Mathematics, 72:3 (2008), 581–625  crossref  mathscinet  adsnasa
  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/eng/person9007
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/651261

Full list of publications:
| scientific publications | by years | by types | by times cited in WoS | by times cited in Scopus | common list |



   2020
1. 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 (cited: 1)
2. Denis I. Saveliev, On reduction and separation of projective sets in Tychonoff spaces, 2020 , prinyata v UMN, arXiv: 2001.02033
3. Denis I. Saveliev, On two types of ultrafilter extensions of binary relations, 2020 , arXiv: 2001.02456

   2019
4. 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 (cited: 1)

   2018
5. D. I. Saveliev, Hindman finite sums theorem and its application to topologizations of algebras, 2018 , 20 pp., prinyata v Zapiski nauchnykh seminarov POMI, arXiv: 1810.01947
6. 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

   2017
7. D. I. Saveliev, “On Zariski topologies on polyrings”, Russian Math. Surveys, 72:4 (2017), 770–772  mathnet  crossref  crossref  mathscinet  mathscinet  adsnasa  isi  elib  scopus
8. 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 (cited: 1)  scopus (cited: 1)
9. 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 (cited: 1)  scopus (cited: 2)

   2016
10. 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 (cited: 2)  elib  scopus (cited: 2)
11. D. I. Saveliev, “A note on singular cardinals without the axiom of choice”, Russian Math. Surveys, 71:2 (2016), 385–387  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib  elib  scopus
12. D. I. Saveliev, I. B. Shapirovsky, “On modal logic of submodels”, 11th Advances in Modal Logic, Short Papers, 2016, 115–119

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

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

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

   2008
18. D. I. Saveliev, “A game on the universe of sets”, Izv. Math., 72:3 (2008), 581–625  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib  elib  scopus

   2007
19. D. I. Saveliev, “A Report on a Game on the Universe of Sets”, Math. Notes, 81:5 (2007), 716–719  mathnet  crossref  crossref  mathscinet  zmath  isi (cited: 1)  elib  scopus

   2003
20. D. I. Saveliev, “On Isomorphisms of Relations Embedded into Each Other”, Math. Notes, 74:4 (2003), 543–556  mathnet  crossref  crossref  mathscinet  zmath  isi  scopus

   1998
21. D. I. Saveliev, “A remark on the connection between linear order and measure and category”, Russian Math. Surveys, 53:6 (1998), 1365–1366  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  scopus

Presentations in Math-Net.Ru
1. Лекция 8.
D. I. Saveliev
Set Theory
November 8, 2021 14:45
2. Lecture 7. Set Theory II
D. I. Saveliev
Set Theory
October 25, 2021 14:45   
3. Lecture 6. Set Theory II
D. I. Saveliev
Set Theory
October 18, 2021 14:45   
4. Lecture 5. Set Theory II
D. I. Saveliev
Set Theory
October 11, 2021 14:45   
5. Lecture 4. Set Theory II
D. I. Saveliev
Set Theory
October 4, 2021 14:45   
6. Lecture 3. Set Theory II
D. I. Saveliev
Set Theory
September 27, 2021 14:45   
7. Lecture 2. Set Theory II
D. I. Saveliev
Set Theory
September 20, 2021 14:45   
8. Lecture 1. Set Theory II
D. I. Saveliev
Set Theory
September 13, 2021 14:45   
9. Lecture 11. Set Theory
D. I. Saveliev
Set Theory
May 17, 2021 15:05   
10. Lecture 10. Set Theory
D. I. Saveliev
Set Theory
April 26, 2021 15:05   
11. Lecture 9. Set Theory
D. I. Saveliev
Set Theory
April 19, 2021 15:05   
12. Lecture 8. Set Theory
D. I. Saveliev
Set Theory
April 12, 2021 15:05   
13. Lecture 7. Set Theory
D. I. Saveliev
Set Theory
April 5, 2021 15:05   
14. Lecture 6. Set Theory
D. I. Saveliev
Set Theory
March 29, 2021 15:05   
15. Lecture 5. Set Theory
D. I. Saveliev
Set Theory
March 22, 2021 15:05   
16. Lecture 4. Set Theory
D. I. Saveliev
Set Theory
March 15, 2021 15:05   
17. Lecture 3. Ordinal arithmetic and well-founded relations
D. I. Saveliev
Set Theory
March 1, 2021 15:05   
18. Lecture 2. Set Theory
D. I. Saveliev
Set Theory
February 15, 2021 15:05   
19. Lecture 1. Set Theory
D. I. Saveliev
Set Theory
February 8, 2021 15:05   
20. О принципах редукции и отделимости в тихоновских пространствах.
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
March 2, 2020 18:30   
21. О первопорядковой выразимости выполнимости в подмоделях
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
April 1, 2019 18:30
22. Об изоморфизме $\kappa$-плотных множеств вещественных чисел и близких вопросах
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
February 18, 2019 18:30
23. О свойствах редукции и отделимости проективных классов в совершенных прообразах отрезка
D. I. Saveliev
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 20, 2018 18:30
24. Systems of propositions referring to each other: a model-theoretic view
D. Saveliev
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 18, 2017 12:50   
25. On the embedding preordering of universal algebras
D. I. Saveliev
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 7, 2017 18:30
26. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
November 7, 2016 18:30
27. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
October 31, 2016 18:30
28. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
March 28, 2016
29. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
March 21, 2016 18:30
30. О минимальных леводистрибутивных группоидах
D. I. Saveliev
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 10, 2015 18:30
31. On Ultralter Extensions of First-Order Models
D. I. Saveliev
The joint seminar of the Sector 4.1 (IITP RAS) and Poncelet French-Russian laboratory "Arithmetic Geometry and Coding Theory"
February 25, 2014 17:30
32. On ultrafilter extensions of linearly ordered sets
D. I. Saveliev
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 22, 2013 18:30
33. On Zariski topologies on rings and more general algebras
D. I. Saveliev
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 6, 2012 18:30

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021