1 problem

Let $V$ be the ground model. For a centreless group $G\in V$, let $\tau(G)$ be the least ordinal $\alpha$ such that the automorphism tower satisfies $G_\beta=G_\alpha$ for all…