|
СЕМИНАРЫ |
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
Бесконечные ветви в разрешимых деревьях С. Ф. Сопрунов |
|||
Аннотация: Мы рассматриваем структуру $\mathcal{M} = \langle \mathbb{N}, \{\mathit{Tr}, <\}\rangle$, где отношение Подробное изложение: https://arxiv.org/abs/1801.00423 |