Логический семинар лаборатории им. Манина Высшей школы современной математики

Когда: среда 23 сентября, 14:00
Где: МФТИ, Административный корпус, ауд.322,

Доклад:

Вадим Миллер,
"Об аксиоматизируемости некоторых свойств топологий Зарисского"

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


Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!

Страница семинара: https://www.mathnet.ru/rus/conf2559

Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.

#ВШМ_логический