The naming-constants conjecture for the Schröder–Bernstein property
The naming-constants conjecture for the Schröder–Bernstein property
Let be a complete theory in a monster model . For a set , write for the theory obtained by naming the elements of .
Naming-constants conjecture. (1) There is a small set such that has the Schröder–Bernstein property if and only if is superstable and nonmultidimensional. (2) If has the Schröder–Bernstein property and is any set, then 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.