Exact saturation in simple and NIP theories

by Kaplan and Shelah and Simon. [KpShSi:1074]

A theory T is said to have exact saturation at a singular cardinal kappa if it has a kappa-saturated model which is not kappa^+-saturated. We show, under some set-theoretic assumptions, that any simple theory has exact saturation. Also, an NIP theory has exact saturation if and only if it is not distal. This gives a new characterization of distality.

Back to the list of publications