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

Videolibrary

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

Supplementary materials:

Lempp_Abstract.pdf (69.8 Kb)

Language: English