TY - JOUR AU - V. G. Kanovei TI - The set of all analytically definable sets of natural numbers can be defined analytically JO - Izvestiya. Mathematics PY - 1980 SP - 469 EP - 500 VL - 15 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IM2_1980_15_3_a2/ LA - en ID - IM2_1980_15_3_a2 ER -