The Schroder-Bernstein property for a-saturated models
classification
🧮 math.LO
keywords
propertymodelsa-saturatedonlyprovesuperstablebi-embeddableclass
read the original abstract
A first-order theory T has the Schr\"oder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB property if and only if T is superstable and non-multidimensional. We also prove that among superstable theories T, the class of a-saturated models of T has the SB property if and only if T has no nomadic types.
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.