Logical Perspectives 2021: Conference (June 7–11, 2021, Steklov Mathematical Institute, 8 Gubkina St., Moscow)
The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. Among the key topics are:
- logical methods in mathematics;
- logical methods in philosophy;
- logical methods in computer science.
It should be noted that the programme of LP 2021 Conference will comprise only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field.
Furthermore, LP 2021 Conference is a part of the broader thematic programme including the following events:
Among the other logic-related events that will take place in Russia during this period are:
Financial support. The conference is supported by the Simons Foundation and the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, agreement no. 075-15-2019-1614).
Рoster
Abstracts
Program Committee
Lev Beklemishev Stanislav Speranski
Organizing Committee
Lev Beklemishev Stepan Kuznetsov Stanislav Speranski
Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow Steklov International Mathematical Center |
|
Logical Perspectives 2021: Conference, Moscow, June 7–11, 2021 |
|
|
June 7, 2021 (Mon) |
![](/gifs/1pts.gif) |
1. |
Löb's principle for pair theories A. Visser June 7, 2021 16:00–17:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
2. |
Hyperstationary sets J. Bagaria June 7, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
3. |
Adventures beyond possible worlds W. H. Holliday June 7, 2021 19:00–20:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
|
|
June 8, 2021 (Tue) |
![](/gifs/1pts.gif) |
4. |
Rogers semilattices and Lachlan semilattices Yu. L. Ershov June 8, 2021 15:00–16:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
5. |
Definability in the Turing degree structures M. M. Arslanov June 8, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
6. |
Automorphism groups of homogeneous structures K. Tent June 8, 2021 19:00–20:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
|
|
June 9, 2021 (Wed) |
![](/gifs/1pts.gif) |
7. |
Reasoning about epistemic superiority S. Smets June 9, 2021 16:00–17:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
8. |
On reflexive subjective probability L. Horsten June 9, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
9. |
Potentialism and critical plural logic Ø. Linnebo June 9, 2021 19:00–20:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
|
|
June 10, 2021 (Thu) |
![](/gifs/1pts.gif) |
10. |
Applications of proof theory to core mathematics: Recent developments U. Kohlenbach June 10, 2021 16:00–17:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
11. |
Strict $\Pi^1_1$-reflection: A proof-theoretic perspective G. Jäger June 10, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
12. |
Adventures in Lambek calculus A. Scedrov June 10, 2021 19:00–20:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
|
|
June 11, 2021 (Fri) |
![](/gifs/1pts.gif) |
13. |
Relating structure and power: a junction between categorical
semantics, model theory and descriptive complexity S. Abramsky June 11, 2021 16:00–17:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
14. |
Symmetric properties and Boolean complexity A. Urquhart June 11, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
15. |
Comparing $\Pi^1_2$-problems in computability theory and reverse mathematics D. R. Hirschfeldt June 11, 2021 19:00–20:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
|
|
|
|
![](/gifs/1pts.gif) |
|