The Schröder-Bernstein property for weakly minimal theories (Q1760325): Difference between revisions

A theory \(T\) is said to have the Schröder-Bernstein properety (SB property) if any two elementarily bi-interpretable models of \(T\) are isomorphic. Nurmagambetov showed that an \(\omega\)-stable theory \(T\) has the SB property iff \(T\) is nonmultidimensional. Here the authors investigate weakly minimal theories with respect to the SB property. They show that for a countable weakly minimal theory the following are equivalent: (1) \(T\) has the SB property. (2) For any \(U\)-rank-1 type \(q \in S(\mathrm{acl}^{\mathrm{eq}}(\emptyset))\) and any automorphism \(f\) of the monster model \(\mathfrak{C}\), there is some \(n<\omega\) such that \(f^n(q)\) is not almost orthogonal to \(q \otimes f(q) \otimes \cdots \otimes f^{n-1}(q)\). (3) \(T\) has no infinite collection of models which are pairwise elementarily bi-embeddable but pairwise nonisomorphic. They show that if \(T\) is a weakly minimal theory in which there is a definable weakly abelian group with an automorphism of some kind of genericity, then \(T\) does not have the SB property.