Email us for help
Loading...
Premium support
Log Out
Our Terms of Use and Privacy Policy have changed. We think you'll like them better this way.
A proof: if every uncountable model of a theory T is omega-saturated and T is superstable, then T is categorical.