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

About 19 years old · traced to

Let TT be a complete theory in a monster model C\mathfrak{C}. For a set A⊆CA\subseteq\mathfrak{C}, write Th⁡A(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 A⊆CA\subseteq\mathfrak{C} such that Th⁡A(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 A⊆CA\subseteq\mathfrak{C} is any set, then Th⁡A(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.

References

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.