Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления



Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
25 октября 2022 г. 18:00–19:00, Novosibirsk and Kazan 		 

Toward deciding the $\forall\exists$-theory of the $\Sigma^0_2$-enumeration degrees

Steffen Lempp

University of Wisconsin-Madison
Видеозаписи:
MP4 99.7 Mb
Дополнительные материалы:
Adobe PDF 69.8 Kb

Количество просмотров:
Эта страница:97
Видеофайлы:9
Материалы:19




Дополнительные материалы: Lempp_Abstract.pdf (69.8 Kb)

Язык доклада: английский
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024