Zubkov Maxim Vital'evich

Presentations in Math-Net.Ru

1. Computable linearly ordered structures
   M. V. Zubkov
   Seminars "Proof Theory" and "Logic Online Seminar"
   September 16, 2024 16:00   
2. "Jump inversion" for linear orders
   Maxim Zubkov
   Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
   October 24, 2022 17:00   
3. The join degree spectrum of successor and block relations on computable linear orders
   M. V. Zubkov
   Computable linear orders and linearly ordered structures
   October 5, 2019