|
СЕМИНАРЫ |
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
Оператор, двойственный производной Кантора, и слабые аксиомы отделимости Д. И. Савельев |
|||
Аннотация: Будет рассмотрен оператор, выкидывающий замкнутые точки топологического пространства, и близкие конструкции, посредством которых будут установлены связи между различными аксиомами отделимости, в частности, |