In model theory, he developed classification theory, which led him to a solution of Morley's problem.
În teoria modelelor a dezvoltat teoria clasificării prin intermediul căreia a reușit să obțină o soluție la problema lui Morley.