The weak benignity conjecture for subsets of models of stable theories
The weak benignity conjecture for subsets of models of stable theories
Let be a stable theory, let be a model of , and let be arbitrary. The set is weakly benign in if equality of strong types over implies equality of the corresponding types in the language expanded by a predicate for . The weak benignity conjecture. Every arbitrary subset 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
Sign in to submit a solution.
No solutions have been posted yet.