Mathematics – Logic
Scientific paper
2007-05-13
Mathematics
Logic
17 pages
Scientific paper
A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the Schroder-Bernstein property; 2. Th(G, +) is omega-stable; 3. G is the direct sum of a divisible group and a torsion group of bounded exponent; 4. Th(G, +) is superstable, and if (H, +) is a saturated elementary extension of (G,+), every map in Aut(H/H^0) is unipotent.
No associations
LandOfFree
The Schroder-Bernstein property for theories of abelian groups 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 The Schroder-Bernstein property for theories of abelian groups, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Schroder-Bernstein property for theories of abelian groups will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-365213