Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Saveliev, Denis Igorevich
Total publications: 24 (24)
in MathSciNet: 16 (16)
in zbMATH: 11 (11)
in Web of Science: 13 (13)
in Scopus: 15 (15)
Cited articles: 9
Citations: 29
Presentations: 53

Number of views:
This page:4315
Abstract pages:3065
Full texts:1255
References:410
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

https://www.mathnet.ru/eng/person9007
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/651261
https://orcid.org/0000-0002-0519-2641

List of publications:
| scientific publications | by years | by types | by times cited | common list |


Citations (Crossref Cited-By Service + Math-Net.Ru)

   2023
1. Denis I. Saveliev, A note on restriction rules, 2023 , 20 pp., arXiv: 2312.06626

   2022
2. D. I. Saveliev, “On reduction and separation of projective sets in Tychonoff spaces”, Russian Math. Surveys, 77:1 (2022), 180–182  mathnet  crossref  crossref  mathscinet  mathscinet  zmath  adsnasa  isi  scopus
3. Denis I. Saveliev, Ilya B. Shapirovsky, “Medvedev’s logic and products of converse well orders”, Advances in Modal Logic, 14, College Publications, 2022, 681–696

   2020
4. 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 3
5. Denis I. Saveliev, Hausdorff operations and the reduction and separation properties in Tychonoff spaces, 2020 , arXiv: 2001.02033
6. Denis I. Saveliev, On two types of ultrafilter extensions of binary relations, 2020 , arXiv: 2001.02456

   2019
7. 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 1

   2018
8. 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
9. 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 3

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

   2016
13. 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  elib  scopus 6
14. 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
15. D. I. Saveliev, I. B. Shapirovsky, “On modal logic of submodels”, 11th Advances in Modal Logic, Short Papers, 2016, 115–119

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

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

   2012
18. 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
19. 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
20. D. I. Saveliev, “Ultrafilter extensions of models”, Logic and Its Applications, Lecture Notes in Computer Science, Springer, 2011, 162–177  crossref  mathscinet  scopus 6

   2008
21. 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
22. 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  elib  scopus

   2003
23. 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
24. 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. On modal logics of model-theoretic relations
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
May 16, 2022 18:30   
2. Lecture 12. Set Theory
D. I. Saveliev
Set Theory
April 25, 2022 16:35   
3. Lecture 11. Set Theory
D. I. Saveliev
Set Theory
April 18, 2022 16:35   
4. Lecture 10. Set Theory
D. I. Saveliev
Set Theory
April 11, 2022 16:35   
5. Lecture 9. Set Theory
D. I. Saveliev
Set Theory
April 4, 2022 16:35   
6. Lecture 8. Set Theory
D. I. Saveliev
Set Theory
March 28, 2022 16:35   
7. Lecture 7. Set Theory
D. I. Saveliev
Set Theory
March 21, 2022 16:35   
8. Lecture 6. Set Theory
D. I. Saveliev
Set Theory
March 14, 2022 16:35   
9. Lecture 5. Set Theory
D. I. Saveliev
Set Theory
March 7, 2022 16:35
10. Lecture 4. Set Theory
D. I. Saveliev
Set Theory
February 28, 2022 16:35   
11. Lecture 3. Set Theory
D. I. Saveliev
Set Theory
February 21, 2022 16:35   
12. Lecture 2. Set Theory
D. I. Saveliev
Set Theory
February 14, 2022 16:35   
13. Lecture 1. Set Theory
D. I. Saveliev
Set Theory
February 7, 2022 16:25   
14. Лекция 15. Краткий обзор конструктивного универсума
D. I. Saveliev
Set Theory
December 20, 2021 14:45   
15. Lecture 13. Set Theory II
D. I. Saveliev
Set Theory
December 13, 2021 14:45   
16. Lecture 12. Set Theory II
D. I. Saveliev
Set Theory
December 6, 2021 14:45   
17. Lecture 11. Set Theory II
D. I. Saveliev
Set Theory
November 29, 2021 14:45   
18. Lecture 10. Set Theory II
D. I. Saveliev
Set Theory
November 22, 2021 14:45   
19. Lecture 9. Set Theory II
D. I. Saveliev
Set Theory
November 15, 2021 14:45   
20. Lecture 8. Set Theory II
D. I. Saveliev
Set Theory
November 8, 2021 14:45   
21. Лекция 8. Теоремы Эрдёша – Радо и Душника – Миллера. Слабо компактные кардиналы
D. I. Saveliev
Set Theory
November 1, 2021 14:45   
22. Lecture 7. Set Theory II
D. I. Saveliev
Set Theory
October 25, 2021 14:45   
23. Lecture 6. Set Theory II
D. I. Saveliev
Set Theory
October 18, 2021 14:45   
24. Lecture 5. Set Theory II
D. I. Saveliev
Set Theory
October 11, 2021 14:45   
25. Lecture 4. Set Theory II
D. I. Saveliev
Set Theory
October 4, 2021 14:45   
26. Lecture 3. Set Theory II
D. I. Saveliev
Set Theory
September 27, 2021 14:45   
27. Lecture 2. Set Theory II
D. I. Saveliev
Set Theory
September 20, 2021 14:45   
28. Lecture 1. Set Theory II
D. I. Saveliev
Set Theory
September 13, 2021 14:45   
29. Lecture 11. Set Theory
D. I. Saveliev
Set Theory
May 17, 2021 15:05   
30. Lecture 10. Set Theory
D. I. Saveliev
Set Theory
April 26, 2021 15:05   
31. Lecture 9. Set Theory
D. I. Saveliev
Set Theory
April 19, 2021 15:05   
32. Lecture 8. Set Theory
D. I. Saveliev
Set Theory
April 12, 2021 15:05   
33. Lecture 7. Set Theory
D. I. Saveliev
Set Theory
April 5, 2021 15:05   
34. Lecture 6. Set Theory
D. I. Saveliev
Set Theory
March 29, 2021 15:05   
35. Lecture 5. Set Theory
D. I. Saveliev
Set Theory
March 22, 2021 15:05   
36. Lecture 4. Set Theory
D. I. Saveliev
Set Theory
March 15, 2021 15:05   
37. Lecture 3. Ordinal arithmetic and well-founded relations
D. I. Saveliev
Set Theory
March 1, 2021 15:05   
38. Lecture 2. Set Theory
D. I. Saveliev
Set Theory
February 15, 2021 15:05   
39. Lecture 1. Set Theory
D. I. Saveliev
Set Theory
February 8, 2021 15:05   
40. О принципах редукции и отделимости в тихоновских пространствах.
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
March 2, 2020 18:30   
41. О первопорядковой выразимости выполнимости в подмоделях
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
April 1, 2019 18:30
42. Об изоморфизме $\kappa$-плотных множеств вещественных чисел и близких вопросах
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
February 18, 2019 18:30
43. О свойствах редукции и отделимости проективных классов в совершенных прообразах отрезка
D. I. Saveliev
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 20, 2018 18:30
44. 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   
45. 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
46. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
November 7, 2016 18:30
47. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
October 31, 2016 18:30
48. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
Seminars "Proof Theory" and "Logic Online Seminar"
March 28, 2016
49. 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
50. О минимальных леводистрибутивных группоидах
D. I. Saveliev
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 10, 2015 18:30
51. 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
52. 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
53. 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, 2024