pith. sign in

arxiv: 0705.1850 · v1 · submitted 2007-05-13 · 🧮 math.LO · math.GR

The Schroder-Bernstein property for theories of abelian groups

classification 🧮 math.LO math.GR
keywords grouppropertyschroder-bernsteinabelianbi-embeddableboundeddirectdivisible
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.