On diagonal functions for equivalence relations
From MaRDI portal
Publication:6128777
DOI10.1007/s00153-023-00896-0OpenAlexW4387742059MaRDI QIDQ6128777
S. A. Badaev, B. S. Kalmurzayev, Manat Mustafa, Nikolay Bazhenov
Publication date: 16 April 2024
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-023-00896-0
Ershov hierarchydiagonal functioncomputably enumerable equivalence relationDNC degreeweakly precomplete equivalence
Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45) Hierarchies of computability and definability (03D55)