Ich denke, der Satz "Den Rest der Vermutung (Entscheidbarkeit der Theorie) lösten Olga Kharlampovich und Alexei Myasnikov 2006 und gaben außerdem einen alternativen Beweis." sollte aus dem Artikel gestrichen werden. Sela selbst erörtert in "A REPORT ON TARSKI'S DECIDABILITY PROBLEM: "ELEMENTARY THEORY OF FREE NONABELIAN GROUPS" BY O. KHARLAMPOVICH AND A. MYASNIKOV", dass der von den letzteren beiden Autoren geführte Beweis über die Entscheidbarkeit der Theorie freier Gruppen (sowie deren Alternativbeweis über die Vollständigkeit der Theorie) nicht gültig ist und dieser Teil von Tarskis Problem immer noch als offen angesehen werden sollte. (nicht signierter Beitrag von 16:25, 31. Jan. 2014 (CET) )