Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  

Computable linear orders and linearly ordered structures
(Kremlevskaya str., 35, Kazan Federal University, room 509, Kazan)

Seminar organizers
Frolov Andrey Nikolaevich
Zubkov Maxim Vital'evich


Computable linear orders and linearly ordered structures, Kazan

October 19, 2019 (Sat)
1. Relations on computable linear orders and the Ershov hierarchy
Ya. A. Mikhailovskaya
October 19, 2019, Kazan, Kremlevskaya str., 35, Kazan Federal University, room 509

October 5, 2019 (Sat)
2. The join degree spectrum of successor and block relations on computable linear orders
M. V. Zubkov
October 5, 2019, Kazan, Kremlevskaya str., 35, Kazan Federal University, room 509

September 21, 2019 (Sat)
3. Algorithmic properties of relations on computable linear orders
A. N. Frolov
September 21, 2019, Kazan, Kremlevskaya str., 35, Kazan Federal University, room 509
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025