The weak benignity conjecture for subsets of models of stable theories

About 23 years old · traced to

Let TT be a stable theory, let MM be a model of TT, and let A⊆MA\subseteq M be arbitrary. The set AA is weakly benign in MM if equality of strong types over AA implies equality of the corresponding types in the language expanded by a predicate for AA. The weak benignity conjecture. Every arbitrary subset A⊆MA\subseteq M is weakly benign. The source presents this as a weakening after refuting the stronger benignity conjecture. No resolution of the weak benignity conjecture is given in the supplied text.

References

Primary source

Bektur Baizhanov, John Baldwin and Saharon Shelah, “Subsets of superstable structures are weakly benign”, arXiv:math/0303324 (2003).

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.