pith. sign in

arxiv: 0912.1363 · v1 · submitted 2009-12-07 · 🧮 math.LO

The Schr\"oder-Bernstein property for weakly minimal theories

classification 🧮 math.LO
keywords propertyminimalmodelsweaklybi-embeddablecountablepairwiseschroeder-bernstein
0
0 comments X
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.