TY - JOUR AU - Yu. L. Ershov TI - $\Sigma$-definability in admissible sets JO - Doklady Akademii Nauk PY - 1985 SP - 792 EP - 795 VL - 285 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1985_285_4_a3/ LA - ru ID - DAN_1985_285_4_a3 ER -