Well-orders realized by c.e. equivalence relations

"Jump inversion" for linear orders

Well-orders realized by c.e. equivalence relations

Spectral universality of linear orders with one binary relation.

In this talk, we prove that the binary (and therefore n-ary for any n >1) relation on Q (the natural ordering of the set of rational numbers) is spectrally universal.

On categoricity of linear orders

В докладе обсуждались последние результаты посвященные категоричности линейных порядков.

О $\Sigma^0_n$-классификациях

Низкие линейные порядки, имеющие вычислимые копии

Низкие линейные порядки имеющие вычислимые копии

Ординалы, реализуемые вычислимо перечислимыми отношениями эквивалентности

Получено описание классов ординалов меньших $\omega^\omega$ которые могут быть реализованы вычислимо перечислимыми отношениями эквивалентности.

On bi-embeddable categorical linear orders

Дано описание уровней категоричности по би-вложимости для разреженных линейных порядков конечного ранга.

Пунктуальные степени и вложение решеток

Изучаются свойства структуры пунктуальных степеней конечно порожденных алгебраических структур

Computable linear orders and their isomorphisms

The main goal of the first part of the talk is the des­cription of the technique of limitwise monotonic functions in the theory of computable linear orders. We give some applications of this technique in complete or partial solutions of problems of the theory of computable linear orders.

On categoricity of linear orders

О низких линейных порядках не имеющих вычислимых копий

Был построен низкий линейный порядок являющийся $\eta$-представлением и не имееющий вычислимой копии.

On the Kierstead's Conjecture

В докладе освещались результаты направленные на решение проблемы поставленной Кирстедом в его статье 1987 года.

О категоричности разреженных линейных порядков конструктивного ранга

Получены верхние и нижние оценки уровней категоричности разреженных линейных порядков конструктивного ранга.

Достаточные условия существования 0'-предельно монотонных функций для вычислимых eta-схожих линейных порядков

Получнены новые достаточные условия существования 0'-предельно монотонных функций для вычислимых eta-схожих линейных порядков

О гипотезе Кирстеда для $\eta$-схожих линейных порядков

Было показано, что гипотеза Кирстеда верна для широкого классан линейных порядков, но не верна в общем случае.

On categorisity of scattered linear orders

On categorisicty of scattered linear orders