Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна
18 июля 2016 г. 12:10–13:00, г. Москва, МИАН, ул. Губкина, 8
 


Decidability, complexity and index sets of classes of computable models

S. S. Goncharov
Видеозаписи:
Flash Video 1,570.2 Mb
Flash Video 263.4 Mb
MP4 1,006.6 Mb
Дополнительные материалы:
Adobe PDF 199.4 Kb

Количество просмотров:
Эта страница:399
Видеофайлы:102
Материалы:72

С. С. Гончаров
Фотогалерея



Аннотация: We will discuss the problems about decidability of models with different properties. The first problem is connected with existence of decidable presentations for models. The second class is problems about autostability and another equivalence relations on computable models. We will consider these problems on the base of approach suggested by S. S. Goncharov and J.Knight via computable numberings and index sets of classes numbers in some computable numberings.
We will give the results about complexity of characterization of autostable relative to strong constructivizations computable models in differen classes of models and slgebraic structures. We will consider the connection of complexity definable relations of computable models with computable numberings in general sense relative to classification of index sets [1], [4], [3], [5].

Дополнительные материалы: goncharov.pdf (199.4 Kb)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024