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

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