Аннотация:
В работе рассматривается понятие типовой эквивалентности (эквивалентности по типам), введённое И. Б. Плоткиным, приводится несколько примеров элементарно эквивалентных объектов, не эквивалентных по типам, и два способа построения примеров эквивалентных по типам неизоморфных алгебр. Также мы переносим теорему А. И. Мальцева об элементарной эквивалентности линейных групп над полями на случай эквивалентности по типам.
Ключевые слова:эквивалентность типов, эквивалентность в разных логиках, теорема Мальцева, линейные группы.