Video library: Steffen Lempp, Toward deciding the $\forall\exists$-theory of the $\Sigma^0

VIDEO LIBRARY


Fourth Workshop on Digitalization and Computable Models (WDCM-2022) October 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
Language: English