Доклады и лекции в базе данных Math-Net.Ru
О модальных логиках теоретико-модельных отношений Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 16 мая 2022 г. 18:30
Лекция 12. Теория множеств Теория множеств 25 апреля 2022 г.
Лекция 11. Теория множеств Теория множеств 18 апреля 2022 г.
Лекция 10. Теория множеств Теория множеств 11 апреля 2022 г.
Лекция 9. Теория множеств Теория множеств 4 апреля 2022 г.
Лекция 8. Теория множеств Теория множеств 28 марта 2022 г.
Лекция 7. Теория множеств Теория множеств 21 марта 2022 г.
Лекция 6. Теория множеств Теория множеств 14 марта 2022 г.
Лекция 5. Теория множеств Теория множеств 7 марта 2022 г.
Лекция 4. Теория множеств Теория множеств 28 февраля 2022 г.
Лекция 3. Теория множеств Теория множеств 21 февраля 2022 г.
Лекция 2. Теория множеств Теория множеств 14 февраля 2022 г.
Лекция 1. Теория множеств Теория множеств 7 февраля 2022 г.
Лекция 15. Краткий обзор конструктивного универсума Теория множеств 20 декабря 2021 г. 14:45
Лекция 14. Теоретико-модельные конструкции и модели теории множеств. Относительная непротиворечивость аксиомы регулярности. Недостижимые кардиналы Теория множеств 13 декабря 2021 г.
Лекция 13. Отделимость аналитических множеств борелевскими, теорема Суслина. Свойства регулярности аналитических множеств Теория множеств 6 декабря 2021 г.
Лекция 12. Борелевские, аналитические и проективные множества. Универсальные множества данного класса Теория множеств 29 ноября 2021 г.
Лекция 11. Матрицы Улама. Нормальные меры на измеримых кардиналах Теория множеств 22 ноября 2021 г.
Лекция 10. Измеримые и вещественнозначно измеримые кардиналы. Теорема Улама Теория множеств 15 ноября 2021 г.
Лекция 9. Деревья Суслина и Ароншайна, слабо компактные и рамсеевские кардиналы Теория множеств 8 ноября 2021 г.
Лекция 8. Теоремы Эрдёша – Радо и Душника – Миллера. Слабо компактные кардиналы Теория множеств 1 ноября 2021 г. 14:45
Лекция 7. Исчисление разбиений, теорема Рамсея Теория множеств 25 октября 2021 г.
Лекция 6. Иерархия стационарных множеств. Замкнутый неограниченный фильтр на множествах подмножеств Теория множеств 18 октября 2021 г.
Лекция 5.Теорема Сильвера о GCH Теория множеств 11 октября 2021 г.
Лекция 4. Замкнутые неограниченные и стационарные множества Теория множеств 4 октября 2021 г.
Лекция 3. Фильтры и идеалы булевых алгебр. Теорема Стоуна о представлении. Полные булевы алгебры. Насыщенность и дистрибутивность Теория множеств 27 сентября 2021 г. 14:45
Лекция 2. Ультрафильтры на счётном множестве. Булевы алгебры Теория множеств 20 сентября 2021 г.
Лекция 1. Фильтры и ультрафильтры Теория множеств 13 сентября 2021 г.
Лекция 11. Аксиома регулярности, теорема Мостовского о коллапсе Теория множеств 17 мая 2021 г. 15:05
Лекция 10. Гимель-функция, вычисление степеней, SCH Теория множеств 26 апреля 2021 г.
Лекция 9. Бесконечные суммы и произведения, теорема Ю. Кёнига, GCH Теория множеств 19 апреля 2021 г.
Лекция 8. Аксиома выбора и её следствия Теория множеств 12 апреля 2021 г.
Лекция 7. Определение борелевских множеств. Пространство Бэра, представление замкнутых множеств деревьями Теория множеств 5 апреля 2021 г.
Лекция 6. Вещественная прямая, порядковые и топологические свойства Теория множеств 29 марта 2021 г.
Лекция 5. Конфинальность Теория множеств 22 марта 2021 г. 15:05
Лекция 4. Кардинальные числа. Алефы Теория множеств 15 марта 2021 г.
Лекция 3. Арифметика ординалов, фундированные отношения Теория множеств 1 марта 2021 г. 15:05
Лекция 2. Вполне упорядоченные множества, ординальные числа, трансфинитная рекурсия Теория множеств 15 февраля 2021 г.
Лекция 1. Аксиомы теории ZFC Теория множеств 8 февраля 2021 г.
О принципах редукции и отделимости в тихоновских пространствах. Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 2 марта 2020 г. 18:30
О первопорядковой выразимости выполнимости в подмоделях Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 1 апреля 2019 г. 18:30
Об изоморфизме $\kappa$ -плотных множеств вещественных чисел и близких
вопросах Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 18 февраля 2019 г. 18:30
О свойствах редукции и отделимости проективных классов в совершенных прообразах отрезка «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 20 марта 2018 г.
Systems of propositions referring to each other: a model-theoretic view Workshop on Proof Theory, Modal Logic and Reflection Principles 18 октября 2017 г.
О предупорядочении по вложению универсальных алгебр «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 7 марта 2017 г.
Логики теоретико-модельных конструкций: логика подмоделей, часть 1 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 7 ноября 2016 г.
Логики теоретико-модельных конструкций: логика подмоделей, часть 1 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 31 октября 2016 г.
Оператор, двойственный производной Кантора, и слабые аксиомы отделимости Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 28 марта 2016 г.
Оператор, двойственный производной Кантора, и слабые аксиомы отделимости Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 21 марта 2016 г.
О минимальных леводистрибутивных группоидах «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 10 ноября 2015 г.
On Ultralter Extensions of First-Order Models Совместный семинар лаборатории J.-V. Poncelet и сектора Алгебры и теории чисел № 4.1 ИППИ РАН «Арифметика, геометрия и теория кодирования» 25 февраля 2014 г. 17:30
О расширении линейно упорядоченных множеств с помощью ультрафильтров «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 22 октября 2013 г.
О топологиях Зариского на кольцах и более общих алгебрах «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 6 марта 2012 г.
© , 2024
