On the logical strength of the automorphism groups of free nilpotent   groups
  Considering a particular case of a problem posed by Saharon Shelah, we prove that the automorphism group of an infinitely generated free nilpotent group N first-order interprets the full second-order theory of the set rank(N) in the empty language. 
Vladimir Tolstykh
math.LO math.GR