Лемпп C

Доклады и лекции в базе данных 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)
   25 октября 2022 г. 18:00