Mathematics – Logic
Scientific paper
2007-01-25
Mathematics
Logic
A pre-publication preprint of a paper published in `2005
Scientific paper
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 structure. In particular, this implies that the automorphism groups of two infinitely generated free abelian groups $A_1,A_2$ are elementarily equivalent if and only if the sets $|A_1|,|A_2|$ are second-order equivalent.
No associations
LandOfFree
What does the automorphism group of a free abelian group A know about A? does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with What does the automorphism group of a free abelian group A know about A?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and What does the automorphism group of a free abelian group A know about A? will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-329210