  The paper is a short survey of recent developments in the area of first order
descriptions of linear groups. It is aimed to illuminate the known results and
to pose the new problems relevant to logical characterizations of Chevalley
groups and Kac-Moody groups.
