2012/02/29 by John Goodrick, Goodrick, John, M. Laskowski +1 · 1 citation
Mathematics · Physics and Astronomy · #03C45 #03C52 #Algebraic structures and combinatorial models #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Nonlinear Waves and Solitons
paper · pdf · doi:10.48550/arxiv.1202.6535
openalex publication_date 2012/02/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
A first-order theory T has the Schröder-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.