Семинар "Конструктивные модели"

10 октября 2016 года (в понедельник) в ИМ СО РАН в ауд. 344 в 18-10
состоится заседание семинара "Конструктивные модели"

Докладчик - Е.А. Маткин
Доклад - реферат статьи W. Calvert, D. Cenzer, V.S. Harizanov, A. Morozov
                "Effective categoricity of equivalence structures"
                (продолжение)