Definability In The Turing Degree Structures

Questions on the automorphisms and definability of the ckasses of the degree structures are discussed

The theories of the Turing degrees and the bounded Turing degrees below 0'

The structural properties of the local Turing degree theory is investigated

Computable structures

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

Complexity of fixed-point selection functions

The Turing degree complexity of fixed-point selection functions are studied. The notion was earlier introduced by the author.

RELATIVELY COMPUTABLE ENUMERABLE DEGREES AND DIAGONALLY NON-COMPUTABLE FUNCTIONS

Исследована структура степеней неразрешимости REA множеств

ДНР функции и теоремы о неподвижной точке

Делается обзор по работам ДНР функций, обсуждается из связь теоремами о неподвижных точках, приводятся некоторые новые результаты

Computability in real numbers

In this talk a review on the computability in real numbers is given.

Работы по теории вычислимости

Подробное изложение своей работы по теории вычислимости

Вычислимость на действительных числах

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

Теория вычислимости

Доклад о работах, проводимых в Казанском университете по теории вычислимости.

Computability in real numbers

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

Computability in real numbers

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

Computability in Real Numbers(plenary talk)

Исследованы проблемы вычислимости действительных чиесл, вопросы представления чисел на компьютерах

Cooper's Research in the Difference Hierarchy

In my talk I investigate splitting and non-splitting properties in the Ershov difference hierarchy in which main contribution have been done by Barry Cooper.I give a brief survey of his research in this area and discuss a number of related open questions

Turing degrees of n-c.e. sets

I have given a series of introductory lectures on issues related to computability, especially degrees below 0', such as d-c.e. and n-c.e. degrees.

Алгебраические структуры и относительная вычислимость

Доклад содержит результаты проведенных коллективом под руководством М.М. Арсланова исследований в рамках проекта РФФИ-АН РТ

Структурная теория степеней неразрешимости: достижения и открытые проблемы

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

Computability in Real Numbers

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

Definable relations in the Turing degree structures (пленарный доклад)

В докладе описаны определимые отношения в тьюринговых степенных структурах.

Definability in the degree structures