TY - JOUR AU - M. M. Arslanov AU - R. F. Nadyrov AU - V. D. Solov'ev TI - A criterion for the completeness of recursively enumerable sets, and some generalizations of a~fixed point theorem JO - Izvestiâ vysših učebnyh zavedenij. Matematika PY - 1977 SP - 3 EP - 7 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IVM_1977_4_a0/ LA - ru ID - IVM_1977_4_a0 ER -