RUS  ENG
Full version
SEMINARS

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

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.


© Steklov Math. Inst. of RAS, 2024