|
SEMINARS |
Computable linear orders and linearly ordered structures
|
|||
|
Relations on computable linear orders and the Ershov hierarchy Ya. A. Mikhailovskaya |
|||
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. |