| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Вторая конференция Математических центров России. Пленарные доклады
|
|||
|
|
|||
|
Алгебраические структуры и вычислимая категоричность И. Ш. Калимуллин |
|||
|
Аннотация: Вычислимая алгебраическая структура вычислимо категорична, если между любыми двумя ее вычислимыми копиями существует вычислимый изоморфизм. В докладе будет сделан обзор понятий и новых результатов теории вычислимых моделей и классической теории вычислимости, связанных с вычислимой категоричностью и ее обобщениями. В частности, будут обсуждены результаты об аналогах вычислимой категоричности для примитивно рекурсивных (пунктуальных) структур. |
|||