When does elementary bi-embeddability imply isomorphism?
| dc.creator | Goodrick, John | |
| dc.date | 2007-05-13 | |
| dc.date.accessioned | 2026-07-07T08:01:21Z | |
| dc.date.available | 2026-07-07T08:01:21Z | |
| dc.description | 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. | |
| dc.description | 24 pages | |
| dc.identifier | https://arxiv.org/abs/0705.1849 | |
| dc.identifier | http://arxiv.org/abs/0705.1849 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/128885 | |
| dc.subject | Logic | |
| dc.subject | 03C45 (Primary) 03C52 (Secondary) | |
| dc.title | When does elementary bi-embeddability imply isomorphism? | |
| dc.type | text |