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