Interactions with mathematical logic and the study of first-order theory of free groups.
Αλληλεπιδράσεις με μαθηματική λογική και τη μελέτη της θεωρίας πρώτης τάξης των ελεύθερων ομάδων.