Computably enumerable equivalence relations via primitive recursive reductions. - Birzhan S. Kalmurzayev; Nikolay A. Bazhenov; Alibek M. Iskakov (J. Log. Comput., 2025)

Undecidability of the degree structure of primitive recursive m-reducibility. - Birzhan S. Kalmurzayev; Nikolay Bazhenov 001; Alibek M. Iskakov (J. Log. Comput., 2025)