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.
Recommendations
Cites work
- \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types
- a T is Finite for ℵ 1 -Categorical T
- scientific article; zbMATH DE number 4047697 (Why is no real title available?)
- scientific article; zbMATH DE number 4121976 (Why is no real title available?)
- Kueker's conjecture for stable theories
- Ranks and definability in superstable theories
- The geometry of weakly minimal types
- Unidimensional theories are superstable
Cited in
(17)- Locally finite weakly minimal theories
- Superstable theories with few countable models
- Meager forking
- Vaught's conjecture for some meager groups
- A trichotomy of countable, stable, unsuperstable theories
- Some remarks on nonmultidimensional superstable theories
- On the number of models of uncountable theories
- The geometry of 1-based minimal types
- Asymmetric regular types
- scientific article; zbMATH DE number 7178075 (Why is no real title available?)
- Generically stable regular types
- Independence, dimension and continuity in non-forking frames
- A definable continuous rank for nonmultidimensional superstable theories
- A new strongly minimal set
- A dichotomy for \(D\)-rank 1 types in simple theories
- Almost orthogonal regular types
- On the existence of regular types
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)