A dichotomy theorem for regular types (Q911581): Difference between revisions

For a superstable theory T without OTOP it is proved that every regular type is either locally modular, or non-orthogonal to a strongly regular type. If T does not have DOP as well then every regular type is either locally modular or strongly regular. To prove the result the authors show that for a nontrivial regular type p, p-weight is continuous and definable inside some definable set D of positive p-weight.