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: 20
Citations: 84
Presentations: 119
Number of views: This page: 7931 Abstract pages: 3052 Full texts: 656 References: 429
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/?q=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)
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
5
[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
4
[x]
2013
21.
Archive for Mathematical Logic , 52 :5–6 (2013), 507–516
10
[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
7
[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.
Лекция 5. Универсальная алгебра и алгебраическая логика October 8, 2024 16:20
2.
Лекция 4. Универсальная алгебра и алгебраическая логика October 1, 2024 16:20
3.
Лекция 3. Универсальная алгебра и алгебраическая логика September 24, 2024 16:20
4.
Лекция 2. Универсальная алгебра и алгебраическая логика September 17, 2024 16:20
5.
Лекция 1. Универсальная алгебра и алгебраическая логика September 10, 2024 16:20
6.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 4 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024 July 29, 2024
7.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 3 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024 July 27, 2024
8.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 2 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024 July 26, 2024
9.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 1 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024 July 23, 2024
10.
О разрешимых фрагментах некоторых логических систем May 22, 2024
11.
Lecture 13. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" May 8, 2024 10:00
12.
Lecture 12. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" May 3, 2024 10:00
13.
Lecture 12. Introduction to Nonclassical Logics Introduction to Nonclassical Logics May 2, 2024
14.
Lecture 11. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" April 22, 2024
15.
Lecture 11. Introduction to Nonclassical Logics Introduction to Nonclassical Logics April 22, 2024
16.
Lecture 10. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" April 17, 2024 16:20
17.
Lecture 10. Introduction to Nonclassical Logics Introduction to Nonclassical Logics April 17, 2024
18.
Lecture 9. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" April 10, 2024 16:20
19.
Lecture 9. Introduction to Nonclassical Logics Introduction to Nonclassical Logics April 10, 2024
20.
Lecture 8. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" April 3, 2024 16:20
21.
Lecture 8. Introduction to Nonclassical Logics Introduction to Nonclassical Logics April 3, 2024
22.
Lecture 7. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" March 27, 2024 16:20
23.
Lecture 7. Introduction to Nonclassical Logics Introduction to Nonclassical Logics March 27, 2024
24.
On the elementary theory of atomless probability spaces Seminars
"Proof Theory" and "Logic Online Seminar" March 25, 2024 18:30
25.
Lecture 6. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" March 20, 2024 16:20
26.
Lecture 6. Introduction to Nonclassical Logics Introduction to Nonclassical Logics March 20, 2024
27.
Lecture 5. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" March 13, 2024 16:20
28.
Lecture 5. Introduction to Nonclassical Logics Introduction to Nonclassical Logics March 13, 2024
29.
Lecture 4. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" March 6, 2024 16:20
30.
Lecture 4. Introduction to Nonclassical Logics Introduction to Nonclassical Logics March 6, 2024
31.
Lecture 3. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" February 28, 2024 16:20
32.
Lecture 3. Introduction to Nonclassical Logics Introduction to Nonclassical Logics February 28, 2024
33.
Lecture 2. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" February 21, 2024 16:20
34.
Lecture 2. Introduction to Nonclassical Logics Introduction to Nonclassical Logics February 21, 2024
35.
Первопорядковые вероятностные логики Хальперна February 14, 2024 18:15
36.
Lecture 1. Decidable and undecidable theories Course by S. O. Speranski "Decidable and undecidable theories" February 14, 2024 16:20
37.
Lecture 1. Introduction to Nonclassical Logics Introduction to Nonclassical Logics February 14, 2024
38.
Lecture 11. Foundations of Set Theory Foundations of Set Theory November 27, 2023
39.
Lecture 10. Foundations of Set Theory Foundations of Set Theory November 20, 2023
40.
Lecture 8. Foundations of Set Theory Foundations of Set Theory November 13, 2023
41.
Lecture 8. Foundations of Set Theory Foundations of Set Theory October 30, 2023
42.
Lecture 7. Foundations of Set Theory Foundations of Set Theory October 30, 2023
43.
Lecture 7. Foundations of Set Theory Foundations of Set Theory October 23, 2023
44.
Lecture 5. Foundations of Set Theory Foundations of Set Theory October 7, 2023
45.
Lecture 4. Foundations of Set Theory Foundations of Set Theory October 2, 2023
46.
Lecture 3. Foundations of Set Theory Foundations of Set Theory September 25, 2023
47.
Lecture 2. Foundations of Set Theory Foundations of Set Theory September 18, 2023
48.
Lecture 1. Foundations of Set Theory Foundations of Set Theory September 11, 2023
49.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 4 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023 July 24, 2023
50.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 3 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023 July 22, 2023
51.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 2 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023 July 20, 2023
52.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 1 Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2023 July 19, 2023
53.
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
54.
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
55.
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
56.
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
57.
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
58.
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
59.
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
60.
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
61.
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
62.
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
63.
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
64.
Инфинитарная логика действий с экспоненциальными модальностями Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2022 November 23, 2022
65.
Lecture 11. Foundations of Set Theory Foundations of Set Theory November 21, 2022
66.
Lecture 10. Foundations of Set Theory Foundations of Set Theory November 14, 2022
67.
Lecture 9. Foundations of Set Theory Foundations of Set Theory November 7, 2022
68.
Lecture 8. Foundations of Set Theory Foundations of Set Theory October 31, 2022
69.
Complexity for Kripke’s theory of truth Fourth Workshop on Digitalization and Computable Models (WDCM-2022) October 26, 2022
70.
Lecture 7. Foundations of Set Theory Foundations of Set Theory October 24, 2022
71.
Lecture 6. Foundations of Set Theory Foundations of Set Theory October 17, 2022
72.
Lecture 5. Foundations of Set Theory Foundations of Set Theory October 10, 2022
73.
Lecture 4. Foundations of Set Theory Foundations of Set Theory October 3, 2022
74.
Lecture 3. Foundations of Set Theory Foundations of Set Theory September 26, 2022
75.
Lecture 2. Foundations of Set Theory Foundations of Set Theory September 19, 2022
76.
Seminar 1. Non-classical Logics Seminar by S. L. Kuznetsov and S. O. Speranski "Non-classical Logics" September 14, 2022 18:00
77.
Lecture 1. Foundations of Set Theory Foundations of Set Theory September 12, 2022
78.
Лекция 12: Гейтинговы алгебры Structural Proof Theory and Algebraic Logic April 27, 2022
79.
Lecture 11. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic April 25, 2022
80.
Lecture 10. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic April 18, 2022
81.
Lecture 9. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic April 11, 2022
82.
Lecture 8. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic April 4, 2022
83.
Lecture 7. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic March 28, 2022
84.
Lecture 6. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic March 21, 2022
85.
Lecture 5. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic March 14, 2022
86.
Lecture 4. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic February 28, 2022
87.
Lecture 3. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic February 21, 2022
88.
Lecture 2. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic February 14, 2022
89.
Lecture 1. Structural Proof Theory and Algebraic Logic Structural Proof Theory and Algebraic Logic February 7, 2022
90.
Monadic second-order definability in weak arithmetics August 10, 2021
91.
Infinitary action logic with exponentiation Logical Perspectives 2021: Summer School and Workshop June 18, 2021
92.
A Computational Perspective on Reasoning about Probability Spaces SIMC Welcomes Postdocs-2020 April 23, 2021
93.
Лекция 8. Основные понятия теории множеств October 20, 2020
94.
Лекция 7. Основные понятия теории множеств October 14, 2020
95.
Лекция 6. Основные понятия теории множеств October 13, 2020
96.
Лекция 5. Основные понятия теории множеств October 6, 2020
97.
Лекция 4. Основные понятия теории множеств September 29, 2020
98.
Лекция 3. Основные понятия теории множеств September 22, 2020
99.
Лекция 2. Основные понятия теории множеств September 15, 2020
100.
Лекция 1. Основные понятия теории множеств September 8, 2020
101.
Лекция 14. Математическая логика May 14, 2020
102.
Лекция 13. Математическая логика May 7, 2020
103.
Лекция 12. Математическая логика April 30, 2020
104.
Лекция 11. Математическая логика April 23, 2020
105.
Negation as a modality in a quantified setting Seminars
"Proof Theory" and "Logic Online Seminar" April 20, 2020 18:30
106.
Лекция 10. Математическая логика April 16, 2020
107.
Лекция 9. Математическая логика April 9, 2020
108.
Лекция 8. Математическая логика April 2, 2020
109.
Лекция 7. Математическая логика March 26, 2020
110.
Лекция 6. Математическая логика March 19, 2020
111.
Лекция 5. Математическая логика March 12, 2020
112.
Лекция 4. Математическая логика March 5, 2020
113.
Лекция 3. Математическая логика February 27, 2020
114.
Лекция 2. Математическая логика February 20, 2020
115.
Лекция 1. Математическая логика February 13, 2020
116.
Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic" December 25, 2018
117.
On the computational aspects of Kripke's theory of truth Workshop on Proof Theory, Modal Logic and Reflection Principles October 18, 2017
118.
О вычислительных аспектах теории истины по Крипке Seminars
"Proof Theory" and "Logic Online Seminar" April 10, 2017
119.
Некоторые новые результаты в монадической арифметике второго порядка 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: