Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Website: https://homepage.mi-ras.ru/~speranski
Keywords: logic, computability, foundations of mathematics
UDC: 510.2, 510.5, 510.6

Subject:

My work mainly addresses topics in logic, computability and the foundations of mathematics.

Main publications:

1. S. O. Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024, jzae114, 21 pp.  
2. _____, “An ‘elementary’ perspective on reasoning about probability spaces”, Logic Journal of the IGPL, 2024, jzae042, 23 pp.  
3. _____, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355  
4. _____, “Notes on the computational aspects of Kripke’s theory of truth”, Studia Logica, 105:2 (2017), 407–429  
5. _____, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174  
6. S. L. Kuznetsov, _____, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic, 173:2 (2022), 103057, 29 pp.  

Recent publications

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• 
• 
• 
• 
• 

Organisations:

• Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
• Steklov International Mathematical Center
• Steklov Mathematical Institute of Russian Academy of Sciences
• Saint Petersburg State University
• Novosibirsk State University