On the logical strength of the automorphism groups of free nilpotent groups

Abstract

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.

A prepublication preprint of a `2005 article