TY - JOUR AU - J. Carson AU - E. Fokina AU - V. S. Harizanov AU - J. F. Knight AU - S. Quinn AU - C. Safranski AU - J. Wallbaum TI - The computable embedding problem JO - Algebra i logika PY - 2011 SP - 707 EP - 732 VL - 50 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2011_50_6_a2/ LA - ru ID - AL_2011_50_6_a2 ER -