On definability of c.e. degrees in the 2-c.e. degree structures

On definability of c.e. degrees in the 2-c.e. degree structures

Перечислимость относительно низких в.п. тьюринговых степеней

On the Soare-Stob theorem

The degree structures induced by algorithmic reducibilities

Isolation from side in Turing degrees

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

The d.r.e wtt-degrees are dense

В докладе анонсируется результат о плотности 2-в.п. wtt-степеней.

The Ershov hierarchy and the structures of many-one and Turing degrees

В докладе анонсируется результат об элементарном различии и определимости в начальных уровнях иерархии Ершова для m-степеней, а также делается обзор серии результатов для собственных уровней тонкой иерархии относительно тьюринговой сводимости

On the structural properties of 2-c.e. wtt-degrees

В докладе рассматриваются структурные свойства 2-в.п. wtt-степеней и их применение к теоретико-модельным свойствам.

Definability and degree structures in the Ershov hierarchy

Relative enumerability and the Ershov hierarchy

On dark Sigma-2-0-equivalence relations

В докладе будут рассмотрены результаты об отношениях эквивалентности в арифметической иерархии.

Equivalence relations in the arithmetical and Ershov hierarchies

Degrees of Categoricity of Rigid Structures

Доказывается существование собственной 2-в.п. тьюринговой степени, которая не может быть степенью категоричности никакой жесткой структуры

Extending a Cooper's Theorem to Delta-3-0 Turing degrees

В 1971 Б. Купер доказал, что существует собственная 2-в.п. степень. В докладе будут анонсированы обобщения этого результата на уровни тонкой иерархии Селиванова для Delta-3-0 множеств.

Spectra of the Lachlan degrees of properly 2-c.e. degrees

В докладе делается обзор спектров лахлановских степеней собственных 2-в.п. степеней

Nondensity of bubble pairs

В докладе будет аннонсирован результат о неплотности вниз восьмерок в 2-в.п. степенях

О тьюринговых степенях в утончениях арифметической иерархии

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

О тьюринговых степенях в утончениях арифметической иерархии

В докладе будет рассказано о результатах для новых собственных уровнях в утончениях арифметической иерархии

There are no minimal pairs in L[d]

В докладе будут аннонсированы результаты о классах лахлановских степеней, среди которых результат о несуществовании минимальных пар для в классах лахлановских степеней собственных 2-в.п. степеней.

There are no minimal pairs in L[d]

В докладе будут аннонсированы результаты о классах лахлановских степеней, среди которых результат о несуществовании минимальных пар для в классах лахлановских степеней собственных 2-в.п. степеней.

On a classification of 2-c.e. Turing degrees

В докладе проводится классификация 2-в.п. тьюринговых степеней и обзор соответствующих результатов

Splitting with avoiding cones in Turing degrees

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

Splitting with avoiding cones in Turing degrees

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

Splitting properties in 2-c.e. degrees

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

Splitting properties in 2-c.e. degrees

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

Low c.e. and low 2-c.e. are not elementarily equivalent

В докладе анонсируется подход в доказательству того, что низкие в.п. и низкие 2-в.п. тьюринговые степени не являются элементарно эквивалентными.

n-c.e. sets CEA in c.e. degrees

В докладе будут анонсированы результаты об относительной перечислимости для n-в.п. степеней.