TY - JOUR AU - S. S. Goncharov TI - Strong constructivizability of homogeneous models JO - Algebra i logika PY - 1978 SP - 363 EP - 388 VL - 17 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1978_17_4_a0/ LA - ru ID - AL_1978_17_4_a0 ER -