Lempp Steffen

Presentations in Math-Net.Ru

1. Toward deciding the $\forall\exists$-theory of the $\Sigma^0_2$-enumeration degrees
   Steffen Lempp
   Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
   October 25, 2022 18:00