Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Speranski, Stanislav Olegovich
Statistics
in MathSciNet: 25 (25)
in zbMATH: 23 (23)
in Web of Science: 26 (26)
in Scopus: 23 (23)
Speranski, Stanislav Olegovich
Candidate of physico-mathematical sciences (2013)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Website: https://homepage.mi-ras.ru/~speranski
UDC: 510.2, 510.5, 510.6
   
Main publications:
  1. S. O. Speranski, “On the decision problem for quantified probability logics”, Izvestiya: Mathematics, 89:3 (2025), 609–627  crossref
  2. S. O. Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 33:3 (2024), jzae114, 21 pp.  crossref
  3. S. L. Kuznetsov, S. O. Speranski, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic, 173:2 (2022), 103057, 29 pp.  crossref
  4. S. O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355  crossref
  5. S. P. Odintsov, S. O. Speranski, “Belnap–Dunn modal logics: Truth constants vs. truth values”, Review of Symbolic Logic, 13:2 (2020), 416–435  crossref
  6. S. O. Speranski, “Notes on the computational aspects of Kripke’s theory of truth”, Studia Logica, 105:2 (2017), 407–429  crossref
  7. S. O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174  crossref

https://www.mathnet.ru/eng/person71546
List of publications on Google Scholar
https://zbmath.org/authors/ai:speranski.stanislav-o
https://mathscinet.ams.org/mathscinet/MRAuthorID/958860
https://orcid.org/0000-0001-6386-5632
https://www.webofscience.com/wos/author/record/L-2043-2016
https://www.scopus.com/authid/detail.url?authorId=55532074400
https://www.researchgate.net/profile/Stanislav_Speranski

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


Citations (Crossref Cited-By Service + Math-Net.Ru)
1. S. O. Speranski, A. V. Grefenshtein, “On the complexity of first-order logics of probability”, Izv. Math., 90:4 (2026) (to appear)  mathnet
2. Stanislav O. Speranski, “Sharpening complexity results in quantified probability logic”, Log. J. IGPL, 33:3 (2025), jzae114 , 21 pp.  mathnet  crossref  mathscinet  isi 3
3. Stanislav O. Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”, Log. J. IGPL, 33:2 (2025), jzae042 , 23 pp.  mathnet  crossref  isi 3
4. S. O. Speranski, “On the decision problem for quantified probability logics”, Izv. Math., 89:3 (2025), 609–627  mathnet  crossref  crossref  mathscinet  adsnasa  isi  scopus
5. V. E. Karpov, S. O. Speranski, “On hereditarily undecidable fragments of basic elementary theories”, Mathematical Notes, 118:1 (2025), 95–107  mathnet  crossref  crossref
6. Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, “Reasoning from hypotheses in *-continuous action lattices”, J. Symb. Log., 2025, 1–39 (Published online) , arXiv: 2408.02118  mathnet  crossref
7. S. N. Artemov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, S. P. Odintsov, V. V. Rybakov, S. O. Speranski, V. B. Shehtman, V. F. Yun, “Larisa L'vovna Maksimova (obituary)”, Russian Math. Surveys, 80:3 (2025), 533–536 (to appear)  mathnet  crossref  crossref  adsnasa
8. S. O. Speranski, “On Fitting’s modification of Kripke’s theory of truth”, Doklady Mathematics, 2025 (to appear)
9. A. V. Grefenshtein, S. O. Speranski, “On the quantified version of the Belnap–Dunn modal logic”, Sb. Math., 215:3 (2024), 323–354  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  scopus
10. Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with multiplexing”, Studia Logica, 111:2 (2023), 251–280  mathnet  crossref  mathscinet  zmath  isi  scopus 4
11. S. O. Speranski, “Elementary invariants for quantified probability logic”, Doklady Mathematics, 107 (2023), 93–96  mathnet  crossref  crossref  mathscinet  zmath  isi  elib  scopus
12. Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic, 173:2 (2022), 103057 , 29 pp., arXiv: 2001.06863  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 8
13. S. O. Speranski, F. N. Pakhomov, “On the coprimeness relation from the viewpoint of monadic second-order logic”, Izv. Math., 86:6 (2022), 1225–1239  mathnet  crossref  crossref  mathscinet  zmath  zmath  adsnasa  isi  elib  scopus
14. S. O. Speranski, “Some remarks on Došen's logic N and its extensions”, Sib. elektron. matem. izv., 19:2 (2022), 562–577  mathnet  crossref  mathscinet  isi  elib  scopus
15. Stanislav O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 5
16. S. O. Speranski, “Modal bilattice logic and its extensions”, Algebra and Logic, 60:6 (2022), 407–424  mathnet  crossref  crossref  mathscinet  zmath  isi  elib  scopus
17. Sergei P. Odintsov, Stanislav O. Speranski, “Belnap–Dunn modal logics: truth constants vs. truth values”, Review of Symbolic Logic, 13:2 (2020), 416–435  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 9
18. Leon Horsten, Stanislav O. Speranski, “Reasoning about arbitrary natural numbers from a Carnapian perspective”, Journal of Philosophical Logic, 48:4 (2019), 685–707  crossref  mathscinet  zmath  isi  elib  scopus 2
19. Sergei P. Odintsov, Stanislav O. Speranski, Igor Yu. Shevchenko, “Hintikka's independence-friendly logic meets Nelson's realizability”, Studia Logica, 106:3 (2018), 637–670  crossref  mathscinet  zmath  isi  elib  scopus 1
20. Stanislav O. Speranski, “Quantifying over events in probability logic: an introduction”, Mathematical Structures in Computer Science, 27:8 (2017), 1581–1600  crossref  mathscinet  zmath  isi  scopus 8
21. Stanislav O. Speranski, “Notes on the computational aspects of Kripkes theory of truth”, Studia Logica, 105:2 (2017), 407–429  crossref  mathscinet  zmath  isi  elib  scopus 2
22. Stanislav O. Speranski, “A note on hereditarily $\Pi^0_1$- and $\Sigma^0_1$-complete sets of sentences”, Journal of Logic and Computation, 26:5 (2016), 1729–1741  crossref  mathscinet  zmath  isi  scopus 7
23. Sergei P. Odintsov, Stanislav O. Speranski, “The lattice of Belnapian modal logics: special extensions and counterparts”, Logic and Logical Philosophy, 25:1 (2016), 3–33  crossref  mathscinet  zmath  isi  scopus 9
24. Stanislav O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174  crossref  mathscinet  zmath  isi  elib  scopus 5
25. Stanislav O. Speranski, “A note on definability in fragments of arithmetic with free unary predicates”, Archive for Mathematical Logic, 52:5–6 (2013), 507–516  crossref  mathscinet  zmath  isi  scopus 11
26. S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra and Logic, 52:2 (2013), 159–171  mathnet  crossref  mathscinet  zmath  isi  scopus
27. S. O. Speranski, “On Belnapian modal algebras: representations, homomorphisms, congruences, and so on”, Sib. elektron. matem. izv., 10 (2013), 517–534  mathnet  crossref  mathscinet  zmath  isi  scopus 3
28. Stanislav O. Speranski, “Complexity for probability logic with quantifiers over propositions”, Journal of Logic and Computation, 23:5 (2013), 1035–1055  crossref  mathscinet  zmath  isi  scopus 9
29. S. P. Odintsov, S. O. Speranski, “Computability issues for adaptive logics in multi-consequence standard format”, Studia Logica, 101:6 (2013), 1237–1262  crossref  mathscinet  zmath  isi  elib  scopus 7
30. Sergei P. Odintsov, Stanislav O. Speranski, “On algorithmic properties of propositional inconsistency-adaptive logics”, Logic and Logical Philosophy, 21:3 (2012), 209–228  crossref  mathscinet  zmath  isi  scopus 2
31. S. O. Speranski, “Quantification over propositional formulas in probability logic: decidability issues”, Algebra and Logic, 50:4 (2011), 365–374  mathnet  crossref  mathscinet  zmath  isi  scopus
32. S. O. Speranski, “On computational aspects of the maximal specificity in probabilistic explanation”, Vestnik, Quart. J. of Novosibirsk State Univ., Series: Math., Mech. and Informatics, 11:4 (2011), 78–93  mathnet
33. S. O. Speranski, “On logical consistency of probabilistic predictions”, Vestnik, Quart. J. of Novosibirsk State Univ., Series: Math., Mech. and Informatics, 11:1 (2011), 99–115  mathnet
34. S. O. Speranskii, Teoriya vnutrennikh mnozhestv: Aksiomaticheskii podkhod k nestandartnomu analizu, Lektsii letnei shkoly «Sovremennaya matematika», Izdatelstvo MTsNMO, Moskva, 2024 , 32 pp. preprint  mathnet

Presentations in Math-Net.Ru
1. 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
2. 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   
3. 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   
4. 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   
5. 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   
6. 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   
7. 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   
8. 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   
9. 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   
10. 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   
11. Диагонализация в арифметике и теория истины по Крипке. Семинар 4
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2025
July 27, 2025 09:30   
12. Диагонализация в арифметике и теория истины по Крипке. Семинар 3
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2025
July 25, 2025 09:30   
13. Диагонализация в арифметике и теория истины по Крипке. Семинар 2
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2025
July 23, 2025 11:15   
14. Диагонализация в арифметике и теория истины по Крипке. Семинар 1
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2025
July 21, 2025 15:30   
15. Lecture 11. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
April 29, 2025 14:15   
16. Lecture 10. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
April 15, 2025 14:15   
17. Lecture 9. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
April 8, 2025 14:15   
18. Lecture 8. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
April 1, 2025 14:15   
19. Lecture 7. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
March 25, 2025 14:15   
20. Lecture 6. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
March 18, 2025 14:15   
21. Lecture 5. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
March 11, 2025 14:15   
22. 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   
23. Lecture 4. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
March 4, 2025 14:15   
24. Lecture 3. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
February 25, 2025 14:15   
25. Lecture 2. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
February 18, 2025 14:15   
26. Lecture 1. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
February 11, 2025 14:15   
27. 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   
28. 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   
29. 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   
30. Элементарные теории классов вероятностных пространств
S. O. Speranski
Annual Session of Steklov Mathematical Institute (Best results 2024)
November 20, 2024 11:35   
31. 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   
32. 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   
33. 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   
34. 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   
35. 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   
36. 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   
37. 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   
38. 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   
39. 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   
40. 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   
41. Разрешающая процедура для теории вещественно замкнутых полей. Семинар 4
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024
July 29, 2024 11:15   
42. Разрешающая процедура для теории вещественно замкнутых полей. Семинар 3
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024
July 27, 2024 09:30   
43. Разрешающая процедура для теории вещественно замкнутых полей. Семинар 2
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024
July 26, 2024 11:15   
44. Разрешающая процедура для теории вещественно замкнутых полей. Семинар 1
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024
July 23, 2024 17:15   
45. О разрешимых фрагментах некоторых логических систем
S. L. Kuznetsov, S. O. Speranski

May 22, 2024 18:15
46. Lecture 13. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
May 8, 2024 10:00   
47. Lecture 12. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
May 3, 2024 10:00   
48. Lecture 12. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
May 2, 2024 10:00   
49. Lecture 11. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
April 22, 2024 16:00   
50. Lecture 11. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
April 22, 2024 09:00   
51. Lecture 10. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
April 17, 2024 16:20   
52. Lecture 10. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
April 17, 2024 10:00   
53. Lecture 9. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
April 10, 2024 16:20   
54. Lecture 9. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
April 10, 2024 10:00   
55. Lecture 8. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
April 3, 2024 16:20   
56. Lecture 8. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
April 3, 2024 10:00   
57. Lecture 7. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
March 27, 2024 16:20   
58. Lecture 7. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
March 27, 2024 10:00   
59. On the elementary theory of atomless probability spaces
S. O. Speranski
Seminars "Proof Theory" and "Logic Online Seminar"
March 25, 2024 18:30   
60. Lecture 6. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
March 20, 2024 16:20   
61. Lecture 6. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
March 20, 2024 10:00   
62. Lecture 5. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
March 13, 2024 16:20   
63. Lecture 5. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
March 13, 2024 10:00   
64. Lecture 4. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
March 6, 2024 16:20   
65. Lecture 4. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
March 6, 2024 10:00   
66. Lecture 3. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
February 28, 2024 16:20   
67. Lecture 3. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
February 28, 2024 10:00   
68. Lecture 2. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
February 21, 2024 16:20   
69. Lecture 2. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
February 21, 2024 10:00   
70. Первопорядковые вероятностные логики Хальперна
S. O. Speranski

February 14, 2024 18:15
71. Lecture 1. Decidable and undecidable theories
S. O. Speranski
Course by S. O. Speranski "Decidable and undecidable theories"
February 14, 2024 16:20   
72. Lecture 1. Introduction to Nonclassical Logics
S. O. Speranski
Introduction to Nonclassical Logics
February 14, 2024 10:00   
73. Lecture 11. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
November 27, 2023 16:50   
74. Lecture 10. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
November 20, 2023 16:50   
75. Lecture 8. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
November 13, 2023 16:50   
76. Lecture 8. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
October 30, 2023 18:30   
77. Lecture 7. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
October 30, 2023 16:50   
78. Lecture 7. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
October 23, 2023 16:50   
79. Lecture 5. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
October 7, 2023 10:50   
80. Lecture 4. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
October 2, 2023 16:50   
81. Lecture 3. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
September 25, 2023 16:50   
82. Lecture 2. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
September 18, 2023 16:50   
83. Lecture 1. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
September 11, 2023 16:50   
84. Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 4
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023
July 24, 2023 09:30   
85. Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 3
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023
July 22, 2023 15:30   
86. Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 2
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023
July 20, 2023 09:30   
87. Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 1
S. O. Speranski
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023
July 19, 2023 11:15   
88. 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   
89. 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   
90. 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   
91. 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   
92. 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   
93. 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   
94. 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   
95. 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   
96. 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   
97. 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   
98. 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   
99. Инфинитарная логика действий с экспоненциальными модальностями
S. L. Kuznetsov, S. O. Speranski
Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2022
November 23, 2022 11:40   
100. Lecture 11. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
November 21, 2022 16:25   
101. Lecture 10. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
November 14, 2022 16:25   
102. Lecture 9. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
November 7, 2022 16:25   
103. Lecture 8. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
October 31, 2022 16:25   
104. Complexity for Kripke’s theory of truth
Stanislav Speranski
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
October 26, 2022 10:00   
105. Lecture 7. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
October 24, 2022 16:25   
106. Lecture 6. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
October 17, 2022 16:25   
107. Lecture 5. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
October 10, 2022 16:25   
108. Lecture 4. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
October 3, 2022 16:25   
109. Lecture 3. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
September 26, 2022 16:25   
110. Lecture 2. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
September 19, 2022 16:25   
111. 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   
112. Lecture 1. Foundations of Set Theory
S. O. Speranski
Foundations of Set Theory
September 12, 2022 16:25   
113. Лекция 12: Гейтинговы алгебры
S. O. Speranski
Structural Proof Theory and Algebraic Logic
April 27, 2022 13:10   
114. Lecture 11. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
April 25, 2022 14:45   
115. Lecture 10. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
April 18, 2022 14:45   
116. Lecture 9. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
April 11, 2022 14:45   
117. Lecture 8. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
April 4, 2022 14:45   
118. Lecture 7. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
March 28, 2022 14:45   
119. Lecture 6. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
March 21, 2022 14:45   
120. Lecture 5. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
March 14, 2022 14:45   
121. Lecture 4. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
February 28, 2022 14:45   
122. Lecture 3. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
February 21, 2022 14:45   
123. Lecture 2. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
February 14, 2022 14:45   
124. Lecture 1. Structural Proof Theory and Algebraic Logic
S. O. Speranski
Structural Proof Theory and Algebraic Logic
February 7, 2022 14:45   
125. Monadic second-order definability in weak arithmetics
S. O. Speranski

August 10, 2021 15:20   
126. Infinitary action logic with exponentiation
S. L. Kuznetsov, S. O. Speranski
Logical Perspectives 2021: Summer School and Workshop
June 18, 2021 12:30   
127. A Computational Perspective on Reasoning about Probability Spaces
S. Speranski
SIMC Welcomes Postdocs-2020
April 23, 2021 11:00   
128. Лекция 8. Основные понятия теории множеств
S. O. Speranski

October 20, 2020   
129. Лекция 7. Основные понятия теории множеств
S. O. Speranski

October 14, 2020   
130. Лекция 6. Основные понятия теории множеств
S. O. Speranski

October 13, 2020   
131. Лекция 5. Основные понятия теории множеств
S. O. Speranski

October 6, 2020   
132. Лекция 4. Основные понятия теории множеств
S. O. Speranski

September 29, 2020   
133. Лекция 3. Основные понятия теории множеств
S. O. Speranski

September 22, 2020   
134. Лекция 2. Основные понятия теории множеств
S. O. Speranski

September 15, 2020   
135. Лекция 1. Основные понятия теории множеств
S. O. Speranski

September 8, 2020   
136. Лекция 14. Математическая логика
S. O. Speranski

May 14, 2020   
137. Лекция 13. Математическая логика
S. O. Speranski

May 7, 2020   
138. Лекция 12. Математическая логика
S. O. Speranski

April 30, 2020   
139. Лекция 11. Математическая логика
S. O. Speranski

April 23, 2020   
140. Negation as a modality in a quantified setting
S. O. Speranski
Seminars "Proof Theory" and "Logic Online Seminar"
April 20, 2020 18:30   
141. Лекция 10. Математическая логика
S. O. Speranski

April 16, 2020   
142. Лекция 9. Математическая логика
S. O. Speranski

April 9, 2020   
143. Лекция 8. Математическая логика
S. O. Speranski

April 2, 2020   
144. Лекция 7. Математическая логика
S. O. Speranski

March 26, 2020   
145. Лекция 6. Математическая логика
S. O. Speranski

March 19, 2020   
146. Лекция 5. Математическая логика
S. O. Speranski

March 12, 2020
147. Лекция 4. Математическая логика
S. O. Speranski

March 5, 2020
148. Лекция 3. Математическая логика
S. O. Speranski

February 27, 2020
149. Лекция 2. Математическая логика
S. O. Speranski

February 20, 2020
150. Лекция 1. Математическая логика
S. O. Speranski

February 13, 2020
151. Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна
S. O. Speranski
Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 25, 2018 16:00   
152. 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   
153. О вычислительных аспектах теории истины по Крипке
S. O. Speranski
Seminars "Proof Theory" and "Logic Online Seminar"
April 10, 2017 18:30
154. Некоторые новые результаты в монадической арифметике второго порядка
S. O. Speranski
Seminars "Proof Theory" and "Logic Online Seminar"
September 7, 2015 18:30

Books in Math-Net.Ru
  1. S. O. Speranski, Internal set theory: an axiomatic approach to nonstandard analysis, 2024, 32 с.
    http://mi.mathnet.ru/book2012

Organisations