The Schröder-Bernstein property for weakly minimal theories (Q1760325): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 06:59, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Schröder-Bernstein property for weakly minimal theories |
scientific article |
Statements
The Schröder-Bernstein property for weakly minimal theories (English)
0 references
13 November 2012
0 references
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.
0 references
weakly minimal theory
0 references
Schröder-Bernstein property
0 references
monster model
0 references