The infinite-family conjecture for failure of the Schröder–Bernstein property

Let TT be a complete first-order theory. Models are elementarily bi-embeddable when each elementarily embeds into the other.

Infinite-family conjecture. If TT does not have the Schröder–Bernstein property, then there is an infinite collection of models of TT 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

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.