A dichotomy theorem for regular types

From MaRDI portal
Publication:911581





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.











This page was built for publication: A dichotomy theorem for regular types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911581)