Сильная 94 1 -определимость модели в допустимом множестве А.Н. Хисамиев — 1998 Sibirskij matematiceskij zurnal