Независимость эквациональных теорий и групп автоморфизмов решеток. В.А. Баранский (1986) Sibirskij matematiceskij zurnal