Speranski Stanislav Olegovich

Presentations in Math-Net.Ru

1. Computational aspects of elementary theories of classes of probability spaces
   S. O. Speranski
   Steklov Mathematical Institute Seminar
   December 18, 2025 16:00
2. Lecture 11. Non-Standard Models of Arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   December 9, 2025 16:00   
3. Lecture 10. Non-Standard Models of Arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   December 2, 2025 16:00   
4. Lecture 9. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   November 25, 2025 16:00   
5. Lecture 8. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   November 18, 2025 16:00   
6. Lecture 7. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   November 11, 2025 16:00   
7. Lecture 6. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   October 28, 2025 16:00   
8. Lecture 5. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   October 21, 2025 16:00   
9. Lecture 4. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   October 7, 2025 16:00   
10. Lecture 3. Non-standard models of arithmetic
    L. D. Beklemishev, S. O. Speranski
    Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
    September 30, 2025 16:00   
11. Lecture 2. Non-standard models of arithmetic
    L. D. Beklemishev, S. O. Speranski
    Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
    September 23, 2025 16:00   
12. Lecture 1. Non-standard models of arithmetic
    L. D. Beklemishev, S. O. Speranski
    Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
    September 16, 2025 16:00   
13. Lecture 11. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 29, 2025 14:15   
14. Lecture 10. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 15, 2025 14:15   
15. Lecture 9. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 8, 2025 14:15   
16. Lecture 8. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 1, 2025 14:15   
17. Lecture 7. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 25, 2025 14:15   
18. Lecture 6. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 18, 2025 14:15   
19. Lecture 5. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 11, 2025 14:15   
20. On the complexity of first-order logic of probability with distribution on the domain
    S. O. Speranski
    Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
    March 4, 2025 16:00   
21. Lecture 4. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 4, 2025 14:15   
22. Lecture 3. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 25, 2025 14:15   
23. Lecture 2. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 18, 2025 14:15   
24. Lecture 1. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 11, 2025 14:15   
25. Lecture 13. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    December 10, 2024 16:20   
26. Lecture 12. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    December 3, 2024 16:20   
27. Lecture 11. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    November 26, 2024 16:20   
28. Lecture 10. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    November 19, 2024 16:20   
29. Lecture 9. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    November 12, 2024 16:20   
30. Lecture 8. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    October 29, 2024 16:20   
31. Lecture 7. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    October 16, 2024 18:00   
32. Lecture 6. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    October 15, 2024 16:20   
33. Lecture 5. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    October 8, 2024 16:20   
34. Lecture 4. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    October 1, 2024 16:20   
35. Lecture 3. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    September 24, 2024 16:20   
36. Lecture 2. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    September 17, 2024 16:20   
37. Lecture 1. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    September 10, 2024 16:20   
38. Lecture 13. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    May 8, 2024 10:00   
39. Lecture 12. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    May 3, 2024 10:00   
40. Lecture 12. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    May 2, 2024 10:00   
41. Lecture 11. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    April 22, 2024 16:00   
42. Lecture 11. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 22, 2024 09:00   
43. Lecture 10. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    April 17, 2024 16:20   
44. Lecture 10. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 17, 2024 10:00   
45. Lecture 9. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    April 10, 2024 16:20   
46. Lecture 9. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 10, 2024 10:00   
47. Lecture 8. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    April 3, 2024 16:20   
48. Lecture 8. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 3, 2024 10:00   
49. Lecture 7. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 27, 2024 16:20   
50. Lecture 7. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 27, 2024 10:00   
51. On the elementary theory of atomless probability spaces
    S. O. Speranski
    Seminars "Proof Theory" and "Logic Online Seminar"
    March 25, 2024 18:30   
52. Lecture 6. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 20, 2024 16:20   
53. Lecture 6. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 20, 2024 10:00   
54. Lecture 5. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 13, 2024 16:20   
55. Lecture 5. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 13, 2024 10:00   
56. Lecture 4. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 6, 2024 16:20   
57. Lecture 4. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 6, 2024 10:00   
58. Lecture 3. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    February 28, 2024 16:20   
59. Lecture 3. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 28, 2024 10:00   
60. Lecture 2. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    February 21, 2024 16:20   
61. Lecture 2. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 21, 2024 10:00   
62. Lecture 1. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    February 14, 2024 16:20   
63. Lecture 1. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 14, 2024 10:00   
64. Lecture 11. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 27, 2023 16:50   
65. Lecture 10. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 20, 2023 16:50   
66. Lecture 8. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 13, 2023 16:50   
67. Lecture 8. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 30, 2023 18:30   
68. Lecture 7. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 30, 2023 16:50   
69. Lecture 7. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 23, 2023 16:50   
70. Lecture 5. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 7, 2023 10:50   
71. Lecture 4. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 2, 2023 16:50   
72. Lecture 3. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 25, 2023 16:50   
73. Lecture 2. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 18, 2023 16:50   
74. Lecture 1. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 11, 2023 16:50   
75. Lecture 11. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    April 24, 2023 16:30   
76. Lecture 10. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    April 17, 2023 16:30   
77. Lecture 9. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    April 10, 2023 16:30   
78. Lecture 8. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    April 3, 2023 16:30   
79. Lecture 7. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    March 27, 2023 16:30   
80. Lecture 6. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    March 20, 2023 16:30   
81. Lecture 5. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    March 13, 2023 16:30   
82. Lecture 4. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    March 6, 2023 16:30   
83. Lecture 3. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    February 27, 2023 16:30   
84. Lecture 2. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    February 20, 2023 16:30   
85. Lecture 1. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    February 13, 2023 16:30   
86. Lecture 11. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 21, 2022 16:25   
87. Lecture 10. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 14, 2022 16:25   
88. Lecture 9. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 7, 2022 16:25   
89. Lecture 8. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 31, 2022 16:25   
90. Complexity for Kripke’s theory of truth
    Stanislav Speranski
    Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
    October 26, 2022 10:00   
91. Lecture 7. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 24, 2022 16:25   
92. Lecture 6. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 17, 2022 16:25   
93. Lecture 5. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 10, 2022 16:25   
94. Lecture 4. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 3, 2022 16:25   
95. Lecture 3. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 26, 2022 16:25   
96. Lecture 2. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 19, 2022 16:25   
97. Seminar 1. Non-classical Logics
    S. O. Speranski
    Seminar by S. L. Kuznetsov and S. O. Speranski "Non-classical Logics"
    September 14, 2022 18:00   
98. Lecture 1. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 12, 2022 16:25   
99. Lecture 11. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    April 25, 2022 14:45   
100. Lecture 10. Structural Proof Theory and Algebraic Logic
     S. O. Speranski
     Structural Proof Theory and Algebraic Logic
     April 18, 2022 14:45   
101. Lecture 9. Structural Proof Theory and Algebraic Logic
     S. O. Speranski
     Structural Proof Theory and Algebraic Logic
     April 11, 2022 14:45   
102. Lecture 8. Structural Proof Theory and Algebraic Logic
     S. O. Speranski
     Structural Proof Theory and Algebraic Logic
     April 4, 2022 14:45   
103. Lecture 7. Structural Proof Theory and Algebraic Logic
     S. O. Speranski
     Structural Proof Theory and Algebraic Logic
     March 28, 2022 14:45   
104. Lecture 6. Structural Proof Theory and Algebraic Logic
     S. O. Speranski
     Structural Proof Theory and Algebraic Logic
     March 21, 2022 14:45   
105. Lecture 5. Structural Proof Theory and Algebraic Logic
     S. O. Speranski
     Structural Proof Theory and Algebraic Logic
     March 14, 2022 14:45   
106. Lecture 4. Structural Proof Theory and Algebraic Logic
     S. O. Speranski
     Structural Proof Theory and Algebraic Logic
     February 28, 2022 14:45   
107. Lecture 3. Structural Proof Theory and Algebraic Logic
     S. O. Speranski
     Structural Proof Theory and Algebraic Logic
     February 21, 2022 14:45   
108. Lecture 2. Structural Proof Theory and Algebraic Logic
     S. O. Speranski
     Structural Proof Theory and Algebraic Logic
     February 14, 2022 14:45   
109. Lecture 1. Structural Proof Theory and Algebraic Logic
     S. O. Speranski
     Structural Proof Theory and Algebraic Logic
     February 7, 2022 14:45   
110. Infinitary action logic with exponentiation
     S. L. Kuznetsov, S. O. Speranski
     Logical Perspectives 2021: Summer School and Workshop
     June 18, 2021 12:30   
111. A Computational Perspective on Reasoning about Probability Spaces
     S. Speranski
     SIMC Welcomes Postdocs-2020
     April 23, 2021 11:00   
112. Negation as a modality in a quantified setting
     S. O. Speranski
     Seminars "Proof Theory" and "Logic Online Seminar"
     April 20, 2020 18:30   
113. On the computational aspects of Kripke's theory of truth
     S. Speranski
     Workshop on Proof Theory, Modal Logic and Reflection Principles
     October 18, 2017 15:35