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

From MaRDI portal
Set OpenAlex properties.
Importer (talk | contribs)
Changed an Item
Property / arXiv ID
 
Property / arXiv ID: 0912.1363 / rank
 
Normal rank

Revision as of 21:55, 18 April 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
    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
    0 references
    weakly minimal theory
    0 references
    Schröder-Bernstein property
    0 references
    monster model
    0 references

    Identifiers