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