pith. sign in

arxiv: 1202.6535 · v2 · pith:QPTYPLOPnew · submitted 2012-02-29 · 🧮 math.LO

The Schroder-Bernstein property for a-saturated models

classification 🧮 math.LO
keywords propertymodelsa-saturatedonlyprovesuperstablebi-embeddableclass
0
0 comments X
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.