RUS
ENG
Full version
VIDEO LIBRARY
Annual Session of Steklov Mathematical Institute (Best results 2024)
November 20, 2024
11:35
, Moscow
Элементарные теории классов вероятностных пространств
S. O. Speranski
https://vk.com/video-222947497_456239049
https://youtu.be/b_BLtuTeK1Y
References
Stanislav O. Speranski, “Sharpening complexity results in quantified probability logic”,
Log. J. IGPL
, 2024, jzae114, 21 pp.
Stanislav O. Speranski, “An 'elementary' perspective on reasoning about probability spaces”,
Log. J. IGPL
, 2024, jzae042, 23 pp.
Related articles:
Sharpening complexity results in quantified probability logic
Stanislav O. Speranski
Log. J. IGPL
, 2024,
1–21
An ‘elementary’ perspective on reasoning about probability spaces
Stanislav O. Speranski
Log. J. IGPL
, 2024,
1–23
©
Steklov Math. Inst. of RAS
, 2025