Д. М. Анищенко (НГУ)
Алгебры Гейтинга и теория двойственности (2-я часть).
Аннотация
Грузинский логик Лео Эсакиа систематически исследовал алгебры Гейтинга, топобулевы алгебры и связи между данными классами алгебр. Им были установлены:
- классификация элементов топобулевой алгебры;
- двойственность категорий топобулевых алгебр (алгебр Гейтинга) и гибридов (строгих гибридов), гибрид - это топологическое пространство с предпорядком, который согласован с топологией определенным образом;
- фундаментальные свойства гибридов. В серии из трех реферативных докладов будет рассказано про данные исследования.
Доклады основаны на книге Лео Эсакиа, которая была недавно переведена на английский:
[1] Leo Esakia. "Heyting algebras. Duality theory". (ed. G. Bezhanishvili, W. H. Holliday). Springer Nature, Switzerland, 2019.
