3 citations · 6 across the 8 of their papers we have counts for
1 paper · 1 filter
Vladimir Tolstykh
Let A be an infinitely generated free abelian group. We prove that the automorphism group $\aut A$ first-order interprets the full second-order theory of the set ∣A∣ with no st…