A dichotomy theorem for regular types (Q911581)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 4142020
Language Label Description Also known as
default for all languages
No label defined
    English
    A dichotomy theorem for regular types
    scientific article; zbMATH DE number 4142020

      Statements

      A dichotomy theorem for regular types (English)
      0 references
      0 references
      0 references
      1989
      0 references
      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.
      0 references
      locally modular type
      0 references
      superstable theory
      0 references
      OTOP
      0 references
      regular type
      0 references
      strongly regular type
      0 references
      DOP
      0 references
      p-weight
      0 references

      Identifiers