Elementarily free groups are subgroup separable
  Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela. 
Henry Wilton