The infinite-family conjecture for failure of the Schröder–Bernstein property
The infinite-family conjecture for failure of the Schröder–Bernstein property
Let be a complete first-order theory. Models are elementarily bi-embeddable when each elementarily embeds into the other.
Infinite-family conjecture. If does not have the Schröder–Bernstein property, then there is an infinite collection of models of that are pairwise nonisomorphic and pairwise elementarily bi-embeddable.
This asks whether one counterexample to the Schröder–Bernstein property can always be amplified to an infinite family of pairwise nonisomorphic, mutually elementarily bi-embeddable models. The paper presents it as an elementary-looking conjecture and does not resolve it.
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.