Аннотация:
Доказано совпадение позитивных теорий полиоднородного многообразия колец, класса всех конечных колец из него и свободного в нем кольца счетного ранга. Дано описание критических теорий классов всех конечных йордановых и лиевых колец. Библиогр. 27.