Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары






Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
7 октября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
 


Локали, ядра и шкалы Драгалина. Лекция 2.

Д. Д. Рогозин
Видеозаписи:
MP4 1,698.4 Mb
MP4 3,098.6 Mb

Количество просмотров:
Эта страница:79
Видеофайлы:19

Д. Д. Рогозин


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке

Аннотация: Локаль - это полная алгебра Гейтинга, одна из основных алгебраических структур, используемых в такой дисциплине, как бесточечная топология (pointfree topology). Ядро (nucleus) - это оператор замыкания над локалью с условием дистрибутивности относительно нижних граней (в терминологии Драгалина, оператор типа пополнения). Драгалиным было показано, что любая пространственная локаль (то есть, полная алгебра Гейтинга открытых множеств топологического пространства) представима как некоторая алгебра неподвижных точек ядра, порожденного некоторой шкалой Драгалина, которые позволяют, в свою очередь, обобщить семантику Крипке интуиционистской логики. Г. Бежанишвили и У. Холлидей показали, что данный результат можно расширить на случай произвольных локалей. То есть, любая локаль представима как алгебра неподвижных точек ядра, порожденного некоторой шкалой Драгалина. Мы разберем доказательство данной теоремы и обсудим возможные варианты обобщения этого результата. Помимо этого результата мы вкратце также обсудим теорию локалей в контексте бесточечной топологии, введем такие понятия, как спектр локали и уравновешенные пространства, и покажем, что что категория пространственных локалей эквивалентна категории уравновешенных пространств.
Доклад основан на статье Г. Бежанишвили и У. Холлидея «Locales, nuclei, and Dragalin frames».

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021