The Farah conjecture on random twins of unstable theories
The Farah conjecture on random twins of unstable theories
Let be a first-order countable unstable theory. Two models and of are random twins if they are non-isomorphic but become isomorphic after the universe is extended by adding a random real. The Farah conjecture. There are non-isomorphic models of which are random twins. The conjecture asks whether every first-order countable unstable theory has such a pair of models; the supplied text gives no indication that this has been proved or refuted.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Sources & referencesView supporting material
Primary source
Saharon Shelah, “Twins: non-isomorphic models forced to be isomorphic. Part I”, arXiv:2505.02088 (2025).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.