TY  - JOUR
AU  - N. A. Bazhenov
TI  - The branching theorem and computable categoricity in the Ershov hierarchy
JO  - Algebra i logika
PY  - 2015
SP  - 137
EP  - 157
VL  - 54
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2015_54_2_a0/
LA  - ru
ID  - AL_2015_54_2_a0
ER  -