#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 108 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 12.12.2025 в 16:20

Название: Суперструктуры и нестандартный анализ

Докладчик: Лапушкин Евгений

Аннотация:
В докладе будет представлен подход к нестандартному анализу через суперструктуры и его теоретико-модельные аспекты.
Для множества X, содержащего базовые элементы того или иного математического контекста, мы построим универсум V(X), который содержит всевозможные объекты, которые могут понадобиться при работе с X. Этот универсум задает естественную модель в языке с символом принадлежности, где формулы с ограниченными кванторами допускают естественную интерпретацию. Мы обсудим принцип переноса, внутренние и внешние множества, а также посмотрим на приложения.

➰ ВК