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