|
|
Computable linear orders and linearly ordered structures
September 21, 2019, Kazan, Kremlevskaya str., 35, Kazan Federal University, room 509
|
|
|
 |
|
|
|
Algorithmic properties of relations on computable linear orders
A. N. Frolov |
|
Abstract:
In this talk we consider some natural relations and their modifications on computable linear orders. There are some their proper Turing complexity. We show some connections such relations with initial segments of computable linear orders.
|
|
Contact us: