The naming-constants conjecture for the Schröder–Bernstein property

Let TT be a complete theory in a monster model C\mathfrak{C}. For a set ACA\subseteq\mathfrak{C}, write ThA(C)\operatorname{Th}_A(\mathfrak{C}) for the theory obtained by naming the elements of AA.

Naming-constants conjecture. (1) There is a small set ACA\subseteq\mathfrak{C} such that ThA(C)\operatorname{Th}_A(\mathfrak{C}) has the Schröder–Bernstein property if and only if TT is superstable and nonmultidimensional. (2) If TT has the Schröder–Bernstein property and ACA\subseteq\mathfrak{C} is any set, then ThA(C)\operatorname{Th}_A(\mathfrak{C}) also has the Schröder–Bernstein property.

The conjecture concerns the effect of expanding the language by named constants. The paper notes that naming one constant can create the property, but conjectures that naming constants cannot destroy it; the second part would follow from the main characterization conjecture.

Sources & referencesView supporting material

Primary source

John Goodrick, “When does elementary bi-embeddability imply isomorphism?”, arXiv:0705.1849 (2007).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.