Computability Theory and Mathematical Logic
Special Session at the Russian Conference of Mathematical Centers
(Sirius Mathematics Center, Sochi, Russia,
August 9-13, 2021)
Special Session at the Russian Conference of Mathematical Centers
(Sirius Mathematics Center, Sochi, Russia,
August 9-13, 2021)
The Russian Conference of Mathematical Centers (homepage in Russian)
Speakers at the Session
Marat Arslanov (Kazan Federal University, Russia)
The Theories of the Turing degrees and the bounded Turing degrees below 0′
Sergei Artemov (CUNY Graduate Center, USA)
Hyperderivations for Epistemic Logic [abstract] [slides] [recording]
Stepan Bashmakov (Siberian Federal University, Russia)
Finite model property and unification for temporal logic of knowledge LTK.sl_U [slides] [recording]
Evgenii Efremov (Far Eastern Federal University, Russia)
Axiomatizability of the class of subdirectly irreducible acts over a commutative monoid [slides] [recording]
Iskander Kalimullin (Kazan Federal University, Russia)
Punctual structures and punctual categoricity [slides] [recording]
Birzhan Kalmurzayev (Kazakh-British Technical University, Kazakhstan)
On positive preorders [slides] [recording]
Stepan Kuznetsov (Steklov Mathematical Institute, Russia)
Complexity of Theories for Structures with Kleene Star [slides] [recording]
Sergei Ospichev (Sobolev Institute of Mathematics, Russia)
Rogers semilattices [slides] [recording]
Vadim Puzarenko (Sobolev Institute of Mathematics, Russia)
Structures with Non-Standard Computability Approach [slides]
Victor Selivanov (A.P. Ershov Institute of Informatics Systems, Russia)
Effective Wadge Hierarchy in Computable Quasi-Polish Spaces
Stanislav Speranski (Steklov Mathematical Institute, Russia)
Monadic second-order definability in weak arithmetics [slides] [recording]
Alena Stepanova (Far Eastern Federal University, Russia)
Generalized stability of the class of injective S-acts [slides] [recording]
Mars Yamaleev (Kazan Federal University, Russia)
On definability of c.e. degrees in the 2-c.e. degree structures [slides] [recording]
Dmitriy Zhuk (Lomonosov Moscow State University, Russia)
Constraint Satisfaction Problem: known results and open problems [slides] [recording]
Maxim Zubkov (Kazan Federal University, Russia)
On categoricity of linear orders [slides] [recording]
Organizers
Nikolay Bazhenov (Sobolev Institute of Mathematics, Russia)
Iskander Kalimullin (Kazan Federal University, Russia)