5 problems
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 equalit…
Let be a stable theory, let be a model of , and let . The set is benign in if equality of types over implies equality of the corresponding type…
Stable shift-graph embedding conjecture. If, for every cardinal ,
Equivalence conjecture. The following are equivalent: is bounded; is dimensional; and is surjective.
Stability conjecture for strongly -dependent groups. Every strongly -dependent group is stable; equivalently, if is a group such that