#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 4 февраля в 14:00.

Место проведения:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.

Название: Введение в семантику первопорядковых модальных логик - часть 5

Докладчик: В.Б. Шехтман

Доклад основан на вводных лекциях о семантике первопорядковых модальных логик, прочитанных совместно с Д. Шкатовым летом 2025 года в рамках ESSLLI 2025. Будут изложены результаты о полноте относительно шкал и пучков Крипке - сохранение полноты при операции Boxing, а также метод селективных игр.

Необходимые сведения из частей 1-4 будут даны в начале доклада.

➰ ВК