Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.

Автор бойынша көру "25ddba37-d93c-4ff1-a2ee-f997947978dc"

Көрінетін элементтер 1-1 из 1

Classifying equivalence relations in the Ershov hierarchy

Mustafa, Manat; Bazhenov, Nikolay; Mauro, Luca San; Sorbi, Andrea; Yamaleev, Mars (Springer, 2020-02-13)

Computably enumerable equivalence relations (ceers) received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility ⩽c. This gives rise to a rich degree structure. ...