Видеотека: Steffen Lempp, Toward deciding the $\forall\exists$-theory of the $\Sigma^0

ВИДЕОТЕКА


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

Toward deciding the $\forall\exists$-theory of the $\Sigma^0_2$-enumeration degrees Steffen Lempp University of Wisconsin-Madison
Язык доклада: английский