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

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

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

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

Докладчик: Вадим Миллер

Название: Об аксиоматизируемости некоторых свойств топологий Зарисского

Аннотация.
На декартовой степени любой алгебраической системы сигнатуры \Sigma определяется топология Зарисского. Нас будет интересовать, какие свойства полученных таким образом топологических пространств могут быть выражены в инфинитарных первопорядковых языках исходной сигнатуры. Мы введём специальный язык, в котором могут быть записаны некоторые топологические свойства. После чего зададим отображение, переводящее предложения этого языка в инфинитарные \Sigma-предложения, содержательно выражающие те же свойства. Среди свойств, аксиоматизации которых удается получить таким образом: дискретность, хаусдорфовость, сепарабельность, непрерывность сигнатурных операций. Также уделим внимание финитарной аксиоматизируемости.