Лапушкин Евгений//Суперструктуры и нестандартный анализ

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