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

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

Семинар пройдет в среду 3 декабря в 14:00.

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

Название: Логика топологической достижимости

Докладчик: Александр Гагарин

Аннотация:
Доклад посвящен одной логике, связанной с путями в топологических пространствах. Вводится бинарная модальность "достижимости" γ(A,B), интерпретируемая в точке x как "существует путь из x в точку, где истинно B, и во всех промежуточных точках которого истинно A". Ранее эта связка изучалась для александровских топологий и для симплициальных комплексов; две соответствующие логики разрешимы и конечно аксиоматизируемы (Bezhanishvili, Bussi, Ciancia, Fernández-Duque и Gabelaia 2024). В докладе будет рассмотрена логика всех топологий в языке с модальностями ☐A ("внутренность A") и γ(A,B), которая также оказалась конечно аксиоматизируемой и разрешимой. Для доказательства используется переход к подходящему варианту окрестностной семантики.

➰ ВК