TY - JOUR AU - Yu. L. Ershov TI - Forcing in admissible sets JO - Algebra i logika PY - 1990 SP - 648 EP - 658 VL - 29 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1990_29_6_a2/ LA - ru ID - AL_1990_29_6_a2 ER -