pith. sign in

arxiv: 0705.1849 · v1 · submitted 2007-05-13 · 🧮 math.LO

When does elementary bi-embeddability imply isomorphism?

classification 🧮 math.LO
keywords propertyschroder-bernsteintheoryautomorphismbi-embeddabilitybi-embeddablecannotcharacterized
0
0 comments X
read the original abstract

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if a countable theory T has the Schroder-Bernstein property then it is classifiable (it is superstable and has NDOP and NOTOP) and satisfies a slightly stronger condition than nonmultidimensionality, namely: there cannot be a model M of T, a type p over M, and an automorphism f of M such that for every two distinct natural numbers i and j, f^i(p) is orthogonal to f^j(p). We also make some conjectures about how the class of theories with the Schroder-Bernstein property can be characterized.

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.