Logical Perspectives 2021: Conference (7–11 июня 2021 г., Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва)
|
Logical Perspectives 2021: Conference, г. Москва, 7–11 июня 2021 г. |
|
|
7 июня 2021 г. (пн) |
![](/gifs/1pts.gif) |
1. |
Löb's principle for pair theories A. Visser 7 июня 2021 г. 16:00–17:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
2. |
Hyperstationary sets J. Bagaria 7 июня 2021 г. 17:30–18:40, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
3. |
Adventures beyond possible worlds W. H. Holliday 7 июня 2021 г. 19:00–20:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
|
|
8 июня 2021 г. (вт) |
![](/gifs/1pts.gif) |
4. |
Полурешётки Лахлана и полурешётки Роджерса Ю. Л. Ершов 8 июня 2021 г. 15:00–16:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
5. |
Definability in the Turing degree structures M. M. Arslanov 8 июня 2021 г. 17:30–18:40, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
6. |
Automorphism groups of homogeneous structures K. Tent 8 июня 2021 г. 19:00–20:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
|
|
9 июня 2021 г. (ср) |
![](/gifs/1pts.gif) |
7. |
Reasoning about epistemic superiority S. Smets 9 июня 2021 г. 16:00–17:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
8. |
On reflexive subjective probability L. Horsten 9 июня 2021 г. 17:30–18:40, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
9. |
Potentialism and critical plural logic Ø. Linnebo 9 июня 2021 г. 19:00–20:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
|
|
10 июня 2021 г. (чт) |
![](/gifs/1pts.gif) |
10. |
Applications of proof theory to core mathematics: Recent developments U. Kohlenbach 10 июня 2021 г. 16:00–17:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
11. |
Strict $\Pi^1_1$-reflection: A proof-theoretic perspective G. Jäger 10 июня 2021 г. 17:30–18:40, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
12. |
Adventures in Lambek calculus A. Scedrov 10 июня 2021 г. 19:00–20:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
|
|
11 июня 2021 г. (пт) |
![](/gifs/1pts.gif) |
13. |
Relating structure and power: a junction between categorical
semantics, model theory and descriptive complexity S. Abramsky 11 июня 2021 г. 16:00–17:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
14. |
Symmetric properties and Boolean complexity A. Urquhart 11 июня 2021 г. 17:30–18:40, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
15. |
Comparing $\Pi^1_2$-problems in computability theory and reverse mathematics D. R. Hirschfeldt 11 июня 2021 г. 19:00–20:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
|
|
|
|
![](/gifs/1pts.gif) |
|