A proof: if every uncountable model of a theory T is omega-saturated and T is superstable, then T is categorical.
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More