Р. А. Корнев
Группа вычислимых автоморфизмов порядка ($R, <$) (продолжение).
Архив семинара
Р. А. Корнев
Группа вычислимых автоморфизмов порядка ($R, <$).
П. Е. Алаев
Существование примитивно рекурсивных структур (продолжение).
П. Е. Алаев
Существование примитивно рекурсивных структур (продолжение).
П. Е. Алаев
Существование примитивно рекурсивных структур (продолжение).
П. Е. Алаев
Существование примитивно рекурсивных структур.
С. П. Одинцов
О решетках р.п. подструктур эффективной системы замыканий и рекурсивной булевой алгебры (продолжение).
Информация о семинаре
Секретарь семинара:
П. Е. Алаев
Время и место проведения:
Понедельник, 18.10 ч., ауд. 417, ИМ
