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