Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0705.1849

When does elementary bi-embeddability imply isomorphism?

John Goodrick
View original source ↗Read source document ↗Export metadata ↓

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.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

John Goodrick. 2007-05-13. When does elementary bi-embeddability imply isomorphism?. https://arxiv.org/abs/0705.1849

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Complexity of deep computations via topology of function spaces

We use topological methods to study complexity of deep computations and limit computations. We use topology of function spaces, specifically, the classification of Rosenthal compacta, to identify new complexity classes. We use the language of model theory, specifically, the concept of \emph{independence} from Shelah's classification theory, to translate between topology and computation. We use the theory of Rosenthal compacta to characterize approximablility of deep computations, both deterministically and probabilistically.

math.LO↗
arXiv2026

Quotient codings and the descriptive complexity of algebraic and analytic structures

We study the descriptive complexity of algebraic and analytic properties by presenting structures as quotients of fixed generators. For separable Banach-type structures, admissible kernels form Polish spaces and quotient norms are continuous in the Wijsman topology. For countable algebraic structures, congruence spaces are compact and atomic predicates are clopen. In the unital $C^*$-algebra coding, commutativity, MF-ness, stable finiteness and existence of a tracial state are $Π^0_1$-complete. AF-ness, nuclearity, simplicity, property~(SP), approximate divisibility, fixed real- and stable-rank bounds, and fixed nuclear-dimension and decomposition-rank bounds are $Π^0_2$-complete. Finiteness of each of these four ranks is $Σ^0_3$-complete. Finite dimensionality and existence of a non-zero finite-dimensional representation are $Σ^0_2$-complete. Residual finite dimensionality is $Π^0_3$-complete, already among AF algebras, while quasidiagonality is $Π^0_3$. For countable abelian groups, slenderness is $Π^0_3$-complete even within the torsion-free locus. We also obtain a $Σ^0_3$ upper bound for uniformly open multiplication in Banach algebras. An internal $K_0$ presentation has $F_σ$ membership coordinates and is $Σ^0_3$-measurable. We establish Borel tensor-ideal assignments, continuity for a fixed nuclear tensor factor, and a $G_δ$ bound for absorption of a strongly self-absorbing algebra. Finally, separability of the dual is $Π^1_1$-complete in the full unital $C^*$-quotient coding, already among commutative AF quotients; superatomicity of countable Boolean algebras is also $Π^1_1$-complete.

math.LO↗
arXiv2026

Kaplansky decompositions of Polish modules

Let $R$ be a countable ring. Given an $R$-module $A$, we call a decomposition $A = \bigoplus_{i \in I} N_i$ a Kaplansky decomposition if each $N_i$ is countable. We characterize the uncountable Polish $R$-modules that admit a Kaplansky decomposition: they are exactly the modules of the form $B \oplus M^ω$, where $B$ and $M$ are countable and $M$ is $Σ$-algebraically compact. The countable summand $B$ may moreover be taken to be an elementary submodule satisfying a closure condition, which makes $M^ω$ unique up to isomorphism, and hence an invariant of $A$. We use this to characterize the countable rings admitting a free uncountable Polish $R$-module, generalizing results of Shelah and Solecki. This class of rings has a purely ring-theoretic description: it consists exactly of the countable left perfect and right coherent rings, i.e. the rings identified by Chase's theorem on products of projective modules. We observe that these are also exactly the countable $F$-rings, i.e. those countable rings $R$ for which $R^ω$ is free. Finally, we give a ring-theoretic characterization of the countable rings $R$ for which there exists an uncountable projective Polish $R$-module.

math.LO↗