RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Saveliev Denis Igorevich

Total publications: 17 (17)
in MathSciNet: 10 (10)
in zbMATH: 6 (6)
in Web of Science: 9 (9)
in Scopus: 9 (9)
Cited articles: 4
Citations in Math-Net.Ru: 1
Citations in Web of Science: 3
Citations in Scopus: 2
Presentations: 10

Number of views:
This page:2046
Abstract pages:1390
Full texts:268
References:161
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:
| by years | by types | by times cited | scientific publications | common list |



   2018
1. Denis I. Saveliev, Ilya B. Shapirovsky, On modal logics of model-theoretic relations, 2018 , 24 pp., submitted to Studia Logica, arXiv: 1804.09810
2. Denis I. Saveliev, Hindman finite sums theorem and its application to topologizations of algebras, 2018 , 20 pp., arXiv: 1810.01947

   2017
3. 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
4. D. I. Saveliev, S. Shelah, Ultrafilter extensions do not preserve elementary equivalence, Paper 1132 in Shelahs list, 2017 , 9 pp., arXiv: 1712.06198
5. Nikolai L. Poliakov, Denis 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  isi  scopus

   2016
6. 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 (cited: 1)  scopus (cited: 1)
7. 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  scopus
8. D. I. Saveliev, I. B. Shapirovsky, “On modal logic of submodels”, 11th Advances in Modal Logic, Short Papers, 2016, 115–119

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

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

   2012
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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. 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   
2. On the embedding preordering of universal algebras
D. I. Saveliev
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
March 7, 2017 18:30
3. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1.
D. I. Saveliev
Seminar of the Department of Mathematical Logic "Proof Theory"
November 7, 2016 18:30
4. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
D. I. Saveliev
Seminar of the Department of Mathematical Logic "Proof Theory"
October 31, 2016 18:30
5. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
Seminar of the Department of Mathematical Logic "Proof Theory"
March 28, 2016
6. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
Seminar of the Department of Mathematical Logic "Proof Theory"
March 21, 2016 18:30
7. О минимальных леводистрибутивных группоидах
D. I. Saveliev
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 10, 2015 18:30
8. 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
9. On ultrafilter extensions of linearly ordered sets
D. I. Saveliev
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 22, 2013 18:30
10. On Zariski topologies on rings and more general algebras
D. I. Saveliev
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
March 6, 2012 18:30

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2018