TY - JOUR AU - O. V. Kudinov TI - A criterion for the autostability of $1$-decidable models JO - Algebra i logika PY - 1992 SP - 479 EP - 492 VL - 31 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1992_31_5_a1/ LA - ru ID - AL_1992_31_5_a1 ER -