The Schroder-Bernstein property for theories of abelian groups

MaRDI QIDQ6205600zbMATH OpenFDO

Authors John Goodrick

Publication date 13 May 2007

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Abelian groups (20K99)

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 page was built for publication: The Schroder-Bernstein property for theories of abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6205600)