The Schr\"oder-Bernstein property for weakly minimal theories
classification
🧮 math.LO
keywords
propertyminimalmodelsweaklybi-embeddablecountablepairwiseschroeder-bernstein
read the original abstract
For a countable, weakly minimal theory, we show that the Schroeder-Bernstein property (any two elementarily bi-embeddable models are isomorphic) is equivalent to both a condition on orbits of rank 1 types and the property that the theory has no infinite collection of pairwise bi-embeddable, pairwise nonisomorphic models. We conclude that for countable weakly minimal theories, the Schroeder-Bernstein property is absolute between transitive models of ZFC.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.