JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Speranski, Stanislav Olegovich
Total publications: 29 (28)
in MathSciNet: 23 (23)
in zbMATH: 21 (21)
in Web of Science: 24 (24)
in Scopus: 22 (22)
Cited articles: 22
Citations: 91
Presentations: 124
Number of views: This page: 8161 Abstract pages: 3282 Full texts: 699 References: 499
Candidate of physico-mathematical sciences (2013)
Speciality:
01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
email
Website:
https://homepage.mi-ras.ru/~speranski
UDC:
510.2 , 510.5 , 510.6
Main publications:
S. O. Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL , 2024, jzae114, 21 pp.
_____, “An ‘elementary’ perspective on reasoning about probability spaces”, Logic Journal of the IGPL , 2024, jzae042, 23 pp.
_____, “Negation as a modality in a quantified setting”, Journal of Logic and Computation , 31 :5 (2021), 1330–1355
_____, “Notes on the computational aspects of Kripke’s theory of truth”, Studia Logica , 105 :2 (2017), 407–429
_____, “Some new results in monadic second-order arithmetic”, Computability , 4 :2 (2015), 159–174
S. L. Kuznetsov, _____, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic , 173 :2 (2022), 103057, 29 pp.
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
Full list of publications:
Citations (Crossref Cited-By Service + Math-Net.Ru )
2024
1.
Sb. Math. , 215 :3 (2024), 323–354
2.
Log. J. IGPL , 2024, 1–23 (Published online)
1
[x]
3.
Reasoning from hypotheses in $\ast$ -continuous action lattices , 2024 , 41 pp., arXiv: 2408.02118
4.
Log. J. IGPL , 2024, 1–21 (Published online)
5.
Teoriya vnutrennikh mnozhestv: Aksiomaticheskii podkhod k nestandartnomu analizu , Lektsii letnei shkoly «Sovremennaya matematika», Izdatelstvo MTsNMO, Moskva, 2024 , 32 pp. preprint
2023
6.
Studia Logica , 111 :2 (2023), 251–280
3
[x]
7.
Doklady Mathematics , 107 (2023), 93–96
2022
8.
Annals of Pure and Applied Logic , 173 :2 (2022), 103057 , 29 pp., arXiv: 2001.06863
7
[x]
9.
Izv. Math. , 86 :6 (2022), 1225–1239
10.
Sib. elektron. matem. izv. , 19 :2 (2022), 562–577
2021
11.
Journal of Logic and Computation , 31 :5 (2021), 1330–1355
4
[x]
2022
12.
Algebra and Logic , 60 :6 (2022), 407–424
2020
13.
Review of Symbolic Logic , 13 :2 (2020), 416–435
9
[x]
2019
14.
Journal of Philosophical Logic , 48 :4 (2019), 685–707
2
[x]
2018
15.
Studia Logica , 106 :3 (2018), 637–670
1
[x]
2017
16.
Mathematical Structures in Computer Science , 27 :8 (2017), 1581–1600
6
[x]
17.
Studia Logica , 105 :2 (2017), 407–429
2
[x]
2016
18.
$\Pi^0_1$ - and $\Sigma^0_1$ -complete sets of sentences”, Journal of Logic and Computation , 26 :5 (2016), 1729–1741
5
[x]
19.
Logic and Logical Philosophy , 25 :1 (2016), 3–33
5
[x]
2015
20.
Computability , 4 :2 (2015), 159–174
5
[x]
2013
21.
Archive for Mathematical Logic , 52 :5–6 (2013), 507–516
11
[x]
22.
Algebra and Logic , 52 :2 (2013), 159–171
23.
Sib. elektron. matem. izv. , 10 (2013), 517–534
2
[x]
24.
Journal of Logic and Computation , 23 :5 (2013), 1035–1055
8
[x]
25.
Studia Logica , 101 :6 (2013), 1237–1262
7
[x]
2012
26.
Logic and Logical Philosophy , 21 :3 (2012), 209–228
2
[x]
2011
27.
Algebra and Logic , 50 :4 (2011), 365–374
28.
Vestnik, Quart. J. of Novosibirsk State Univ., Series: Math., Mech. and Informatics , 11 :4 (2011), 78–93
29.
Vestnik, Quart. J. of Novosibirsk State Univ., Series: Math., Mech. and Informatics , 11 :1 (2011), 99–115
Presentations in Math-Net.Ru
1.
Элементарные теории классов вероятностных пространств Annual Session of Steklov Mathematical Institute (Best results 2024) November 20, 2024
2.
Lecture 9. Universal Algebra and Algebraic Logic Course by S. O. Speranski "Universal Algebra and Algebraic Logic" November 12, 2024
3.
Lecture 8. Universal Algebra and Algebraic Logic Course by S. O. Speranski "Universal Algebra and Algebraic Logic" October 29, 2024 16:20
4.
Lecture 7. Universal Algebra and Algebraic Logic Course by S. O. Speranski "Universal Algebra and Algebraic Logic" October 16, 2024 18:00
5.
Lecture 6. Universal Algebra and Algebraic Logic Course by S. O. Speranski "Universal Algebra and Algebraic Logic" October 15, 2024 16:20
6.
Lecture 5. Universal Algebra and Algebraic Logic Course by S. O. Speranski "Universal Algebra and Algebraic Logic" October 8, 2024 16:20
7.
Lecture 4. Universal Algebra and Algebraic Logic Course by S. O. Speranski "Universal Algebra and Algebraic Logic" October 1, 2024 16:20
8.
Lecture 3. Universal Algebra and Algebraic Logic Course by S. O. Speranski "Universal Algebra and Algebraic Logic" September 24, 2024 16:20
9.
Lecture 2. Universal Algebra and Algebraic Logic Course by S. O. Speranski "Universal Algebra and Algebraic Logic" September 17, 2024 16:20
10.
Lecture 1. Universal Algebra and Algebraic Logic Course by S. O. Speranski "Universal Algebra and Algebraic Logic" September 10, 2024 16:20
11.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 4 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024 July 29, 2024
12.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 3 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024 July 27, 2024
13.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 2 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024 July 26, 2024
14.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 1 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024 July 23, 2024
15.
О разрешимых фрагментах некоторых логических систем May 22, 2024
16.
Lecture 13. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" May 8, 2024 10:00
17.
Lecture 12. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" May 3, 2024 10:00
18.
Lecture 12. Introduction to Nonclassical Logics Introduction to Nonclassical Logics May 2, 2024
19.
Lecture 11. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" April 22, 2024
20.
Lecture 11. Introduction to Nonclassical Logics Introduction to Nonclassical Logics April 22, 2024
21.
Lecture 10. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" April 17, 2024 16:20
22.
Lecture 10. Introduction to Nonclassical Logics Introduction to Nonclassical Logics April 17, 2024
23.
Lecture 9. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" April 10, 2024 16:20
24.
Lecture 9. Introduction to Nonclassical Logics Introduction to Nonclassical Logics April 10, 2024
25.
Lecture 8. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" April 3, 2024 16:20
26.
Lecture 8. Introduction to Nonclassical Logics Introduction to Nonclassical Logics April 3, 2024
27.
Lecture 7. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" March 27, 2024 16:20
28.
Lecture 7. Introduction to Nonclassical Logics Introduction to Nonclassical Logics March 27, 2024
29.
On the elementary theory of atomless probability spaces Seminars
"Proof Theory" and "Logic Online Seminar" March 25, 2024 18:30
30.
Lecture 6. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" March 20, 2024 16:20
31.
Lecture 6. Introduction to Nonclassical Logics Introduction to Nonclassical Logics March 20, 2024
32.
Lecture 5. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" March 13, 2024 16:20
33.
Lecture 5. Introduction to Nonclassical Logics Introduction to Nonclassical Logics March 13, 2024
34.
Lecture 4. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" March 6, 2024 16:20
35.
Lecture 4. Introduction to Nonclassical Logics Introduction to Nonclassical Logics March 6, 2024
36.
Lecture 3. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" February 28, 2024 16:20
37.
Lecture 3. Introduction to Nonclassical Logics Introduction to Nonclassical Logics February 28, 2024
38.
Lecture 2. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" February 21, 2024 16:20
39.
Lecture 2. Introduction to Nonclassical Logics Introduction to Nonclassical Logics February 21, 2024
40.
Первопорядковые вероятностные логики Хальперна February 14, 2024 18:15
41.
Lecture 1. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" February 14, 2024 16:20
42.
Lecture 1. Introduction to Nonclassical Logics Introduction to Nonclassical Logics February 14, 2024
43.
Lecture 11. Foundations of Set Theory Foundations of Set Theory November 27, 2023
44.
Lecture 10. Foundations of Set Theory Foundations of Set Theory November 20, 2023
45.
Lecture 8. Foundations of Set Theory Foundations of Set Theory November 13, 2023
46.
Lecture 8. Foundations of Set Theory Foundations of Set Theory October 30, 2023
47.
Lecture 7. Foundations of Set Theory Foundations of Set Theory October 30, 2023
48.
Lecture 7. Foundations of Set Theory Foundations of Set Theory October 23, 2023
49.
Lecture 5. Foundations of Set Theory Foundations of Set Theory October 7, 2023
50.
Lecture 4. Foundations of Set Theory Foundations of Set Theory October 2, 2023
51.
Lecture 3. Foundations of Set Theory Foundations of Set Theory September 25, 2023
52.
Lecture 2. Foundations of Set Theory Foundations of Set Theory September 18, 2023
53.
Lecture 1. Foundations of Set Theory Foundations of Set Theory September 11, 2023
54.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 4 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023 July 24, 2023
55.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 3 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023 July 22, 2023
56.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 2 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023 July 20, 2023
57.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 1 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023 July 19, 2023
58.
Lecture 11. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" April 24, 2023 16:30
59.
Lecture 10. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" April 17, 2023 16:30
60.
Lecture 9. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" April 10, 2023 16:30
61.
Lecture 8. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" April 3, 2023 16:30
62.
Lecture 7. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" March 27, 2023 16:30
63.
Lecture 6. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" March 20, 2023 16:30
64.
Lecture 5. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" March 13, 2023 16:30
65.
Lecture 4. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" March 6, 2023 16:30
66.
Lecture 3. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" February 27, 2023 16:30
67.
Lecture 2. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" February 20, 2023 16:30
68.
Lecture 1. Non-standard models of arithmetic and analysis Course by S. O. Speranski "Non-standard models of arithmetic and analysis" February 13, 2023 16:30
69.
Инфинитарная логика действий с экспоненциальными модальностями Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2022 November 23, 2022
70.
Lecture 11. Foundations of Set Theory Foundations of Set Theory November 21, 2022
71.
Lecture 10. Foundations of Set Theory Foundations of Set Theory November 14, 2022
72.
Lecture 9. Foundations of Set Theory Foundations of Set Theory November 7, 2022
73.
Lecture 8. Foundations of Set Theory Foundations of Set Theory October 31, 2022
74.
Complexity for Kripke’s theory of truth Fourth Workshop on Digitalization and Computable Models (WDCM-2022) October 26, 2022
75.
Lecture 7. Foundations of Set Theory Foundations of Set Theory October 24, 2022
76.
Lecture 6. Foundations of Set Theory Foundations of Set Theory October 17, 2022
77.
Lecture 5. Foundations of Set Theory Foundations of Set Theory October 10, 2022
78.
Lecture 4. Foundations of Set Theory Foundations of Set Theory October 3, 2022
79.
Lecture 3. Foundations of Set Theory Foundations of Set Theory September 26, 2022
80.
Lecture 2. Foundations of Set Theory Foundations of Set Theory September 19, 2022
81.
Seminar 1. Non-classical Logics Seminar by S. L. Kuznetsov and S. O. Speranski "Non-classical Logics" September 14, 2022 18:00
82.
Lecture 1. Foundations of Set Theory Foundations of Set Theory September 12, 2022
83.
Лекция 12: Гейтинговы алгебры Structural Proof Theory and Algebraic Logic April 27, 2022
84.
Lecture 11. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic April 25, 2022
85.
Lecture 10. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic April 18, 2022
86.
Lecture 9. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic April 11, 2022
87.
Lecture 8. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic April 4, 2022
88.
Lecture 7. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic March 28, 2022
89.
Lecture 6. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic March 21, 2022
90.
Lecture 5. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic March 14, 2022
91.
Lecture 4. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic February 28, 2022
92.
Lecture 3. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic February 21, 2022
93.
Lecture 2. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic February 14, 2022
94.
Lecture 1. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic February 7, 2022
95.
Monadic second-order definability in weak arithmetics August 10, 2021
96.
Infinitary action logic with exponentiation Logical Perspectives 2021: Summer School and Workshop June 18, 2021
97.
A Computational Perspective on Reasoning about Probability Spaces SIMC Welcomes Postdocs-2020 April 23, 2021
98.
Лекция 8. Основные понятия теории множеств October 20, 2020
99.
Лекция 7. Основные понятия теории множеств October 14, 2020
100.
Лекция 6. Основные понятия теории множеств October 13, 2020
101.
Лекция 5. Основные понятия теории множеств October 6, 2020
102.
Лекция 4. Основные понятия теории множеств September 29, 2020
103.
Лекция 3. Основные понятия теории множеств September 22, 2020
104.
Лекция 2. Основные понятия теории множеств September 15, 2020
105.
Лекция 1. Основные понятия теории множеств September 8, 2020
106.
Лекция 14. Математическая логика May 14, 2020
107.
Лекция 13. Математическая логика May 7, 2020
108.
Лекция 12. Математическая логика April 30, 2020
109.
Лекция 11. Математическая логика April 23, 2020
110.
Negation as a modality in a quantified setting Seminars
"Proof Theory" and "Logic Online Seminar" April 20, 2020 18:30
111.
Лекция 10. Математическая логика April 16, 2020
112.
Лекция 9. Математическая логика April 9, 2020
113.
Лекция 8. Математическая логика April 2, 2020
114.
Лекция 7. Математическая логика March 26, 2020
115.
Лекция 6. Математическая логика March 19, 2020
116.
Лекция 5. Математическая логика March 12, 2020
117.
Лекция 4. Математическая логика March 5, 2020
118.
Лекция 3. Математическая логика February 27, 2020
119.
Лекция 2. Математическая логика February 20, 2020
120.
Лекция 1. Математическая логика February 13, 2020
121.
Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic" December 25, 2018
122.
On the computational aspects of Kripke's theory of truth Workshop on Proof Theory, Modal Logic and Reflection Principles October 18, 2017
123.
О вычислительных аспектах теории истины по Крипке Seminars
"Proof Theory" and "Logic Online Seminar" April 10, 2017
124.
Некоторые новые результаты в монадической арифметике второго порядка Seminars
"Proof Theory" and "Logic Online Seminar" September 7, 2015 18:30
Books in Math-Net.Ru
S. O. Speranski, Internal set theory: an axiomatic approach to nonstandard analysis , 2024, 32 с.http://mi.mathnet.ru/book2012
Organisations
2024
Contact us: