RUS  ENG
Full version
VIDEO LIBRARY


August 10, 2021 15:20, Sochi


Monadic second-order definability in weak arithmetics

S. O. Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow




© Steklov Math. Inst. of RAS, 2024