The Schroder-Bernstein property for theories of abelian groups
From MaRDI portal
Publication:6205600
arXiv0705.1850MaRDI QIDQ6205600FDOQ6205600
Authors: John Goodrick 
Publication date: 13 May 2007
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.
Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Abelian groups (20K99)
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)
