Международная конференция
Логика и приложения

Школа по теории вычислимости

2 мая 2000 (ауд.417)

• 10.00--10.50 О. В. Кудинов. Сложность счетных моделей и проблема существования рекурсивной модели
• 11.30--12.20 S. Badaev. Вычислимые нумерации
• 15.00--15.50 A. Morozov. Sigma-presentability of groups of sigma-permutations
• 16.00--18.00 Обсуждения и работа секций (председатель - С.С.Гончаров)

3 мая 2000 (ауд.417)

• 10.00--10.50 M. Arslanov. The theory of the enumeration degrees below 0' and the relative enumerability
• 11.30--12.20 M. Peretyat'kin. Semantic similarity relations of theories over Cartesian and Universal lists
• 15.00--15.50 V. Selivanov. On two conjectures of W. Wadge
• 16.00--18.00 Обсуждение плана работ, работа секций (председатель - С.Б.Купер)