Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Computable linear orders and linearly ordered structures
October 5, 2019, Kazan, Kremlevskaya str., 35, Kazan Federal University, room 509
 


The join degree spectrum of successor and block relations on computable linear orders

M. V. Zubkov

Number of views:
This page:54

Abstract: A. Frolov (2012) proved that the degree spectrum of the successor relation of a non-$\eta$-like linear order is closed upwards in enumerable degrees. In the paper of R. Downey, S. Lempp, G. Wu (2012) the similar prove for $\eta$-like linear orders contains a fatal mistake. In this talk we consider the join spectrum of successor and block relations on computable $\eta$-like linear orders. We prove that such join spectrum is closed upwards in enumerable degrees. It is a join work with A. Frolov.
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024