|
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
28 марта 2016 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
 |
|
 |
|
|
|
Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев |
| Количество просмотров: |
| Эта страница: | 133 |
|
Аннотация:
Будет рассмотрен оператор, выкидывающий замкнутые точки топологического пространства, и близкие конструкции, посредством которых будут установлены связи между различными аксиомами отделимости, в частности, $\mathsf{T}_0$, $\mathsf{T}_{1/2}$, $\mathsf{T}_D$, $\mathsf{T}_1$, $\mathsf{T}_2$ и $\mathsf{T}_3$.
|
|
Обратная связь: