TY - JOUR AU - M. Yu. Trofimov TI - Definability in algebraically closed systems JO - Algebra i logika PY - 1975 SP - 320 EP - 327 VL - 14 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1975_14_3_a5/ LA - ru ID - AL_1975_14_3_a5 ER -