The weak benignity conjecture for subsets of models of stable theories

From papers

Let TT be a stable theory, let MM be a model of TT, and let AMA\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 AMA\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.

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

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

Solutions 0

No solutions have been posted yet.