Saveliev Denis Igorevich

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. Lecture 13. Set Theory II
    D. I. Saveliev
    Set Theory
    December 13, 2021 14:45   
15. Lecture 12. Set Theory II
    D. I. Saveliev
    Set Theory
    December 6, 2021 14:45   
16. Lecture 11. Set Theory II
    D. I. Saveliev
    Set Theory
    November 29, 2021 14:45   
17. Lecture 10. Set Theory II
    D. I. Saveliev
    Set Theory
    November 22, 2021 14:45   
18. Lecture 9. Set Theory II
    D. I. Saveliev
    Set Theory
    November 15, 2021 14:45   
19. Lecture 8. Set Theory II
    D. I. Saveliev
    Set Theory
    November 8, 2021 14:45   
20. Lecture 7. Set Theory II
    D. I. Saveliev
    Set Theory
    October 25, 2021 14:45   
21. Lecture 6. Set Theory II
    D. I. Saveliev
    Set Theory
    October 18, 2021 14:45   
22. Lecture 5. Set Theory II
    D. I. Saveliev
    Set Theory
    October 11, 2021 14:45   
23. Lecture 4. Set Theory II
    D. I. Saveliev
    Set Theory
    October 4, 2021 14:45   
24. Lecture 3. Set Theory II
    D. I. Saveliev
    Set Theory
    September 27, 2021 14:45   
25. Lecture 2. Set Theory II
    D. I. Saveliev
    Set Theory
    September 20, 2021 14:45   
26. Lecture 1. Set Theory II
    D. I. Saveliev
    Set Theory
    September 13, 2021 14:45   
27. Lecture 11. Set Theory
    D. I. Saveliev
    Set Theory
    May 17, 2021 15:05   
28. Lecture 10. Set Theory
    D. I. Saveliev
    Set Theory
    April 26, 2021 15:05   
29. Lecture 9. Set Theory
    D. I. Saveliev
    Set Theory
    April 19, 2021 15:05   
30. Lecture 8. Set Theory
    D. I. Saveliev
    Set Theory
    April 12, 2021 15:05   
31. Lecture 7. Set Theory
    D. I. Saveliev
    Set Theory
    April 5, 2021 15:05   
32. Lecture 6. Set Theory
    D. I. Saveliev
    Set Theory
    March 29, 2021 15:05   
33. Lecture 5. Set Theory
    D. I. Saveliev
    Set Theory
    March 22, 2021 15:05   
34. Lecture 4. Set Theory
    D. I. Saveliev
    Set Theory
    March 15, 2021 15:05   
35. Lecture 3. Ordinal arithmetic and well-founded relations
    D. I. Saveliev
    Set Theory
    March 1, 2021 15:05   
36. Lecture 2. Set Theory
    D. I. Saveliev
    Set Theory
    February 15, 2021 15:05   
37. Lecture 1. Set Theory
    D. I. Saveliev
    Set Theory
    February 8, 2021 15:05   
38. 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   
39. 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
40. The operator dual to Cantor derivative and weak separability axioms
    D. I. Saveliev
    Seminars "Proof Theory" and "Logic Online Seminar"
    March 28, 2016
41. 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
42. 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
43. 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
44. 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