Заседания семинаров
Zoom
Юдин Иван Николаевич (ИМ СО РАН)
Самоподобные множества, порождённые измельчающимися графами
(представление результатов кандидатской диссертации; научный руководитель – д.ф.-м.н. А. В. Тетенов).
- Григорий Константинович Рябов
Классификация абелевых групп Шура.
- А. Н. Бородин, М. В. Нещадим, А. А. Симонов
Независимость аксиом квандла.
Бондаренко Екатерина Александровна
Биспециальные слова в языке, порожденном циклическим морфизмом.
М. А. Зинченко
Классы универсальных эпиморфизмов и мономорфизмов в квазиабелевых категориях.
С. В. Скресанов
Проблема изоморфизма групп и вычисление единиц в конечных кольцах (продолжение).
М. Н. Холов
Реферат статьи: Pillay A., Tanovic P.
"The number of countable models of first-order theories".
М. М. Аликбаров
Не гиперболичность по Громову $H(n)$-Гордиева графа узлов (продолжение).
Одинцов С.П. (ИМ СО РАН)
Дуальность Пристли: от дистрибутивных решеток до решеток Нельсона.
Аннотация
В 1970 году Хилари Пристли доказала, что категория дистрибутивных решеток дуально эквивалентна категории упорядоченных топологических пространств специально вида, называемых ныне пространствами Пристли. С тех пор дуальности такого вида активно исследуются, прежде всего для алгебраических моделей неклассических логик. В докладе будет дан обзор результатов о дуальностях Пристли для дистрибутивных решеток, алгебр Гейтинга, Де Моргана и Клини, а также для алгебраических моделей логик Нельсона N3 и N4.
[1] Priestley, H. A., ‘Representation of distributive lattices by means of ordered Stone spaces’, Bull. London Math. Soc., 2 (1970), 186–190.
[2] Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge, 2002.
[3] Odintsov, S. P., 'Priestley Duality for Paraconsistent Nelson’s Logic', Stud. Logica, 96 (2010), 65–93.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
