|
|
Computable linear orders and linearly ordered structures
October 19, 2019, Kazan, Kremlevskaya str., 35, Kazan Federal University, room 509
|
|
|
|
|
|
Relations on computable linear orders and the Ershov hierarchy
Ya. A. Mikhailovskaya |
Number of views: |
This page: | 33 |
|
Abstract:
В работе исследуются отношения на вычислимых линейных порядках, имеющие связь с разностной иерархией Ершова. Получен ряд результатов эффективной категоричности линейных порядков, сигнатура которых обогащена такими отношениями.
In this talk we consider relations on computable linear orders what have connections with the difference hierarchy of Ershov. We obtain some results of effective categoricity on computable structures which are linear orders enriched such relations.
|
|