TY - JOUR
T1 - On the class of flat stable theories
AU - Palacín, Daniel
AU - Shelah, Saharon
N1 - Publisher Copyright:
© 2018 Elsevier B.V.
PY - 2018/8
Y1 - 2018/8
N2 - A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence relation, flat theories are defined as an appropriate version of superstability. It is shown that in a flat theory every type has finite weight and therefore flat theories are strong. Furthermore, it is shown that under reasonable conditions any type is non-orthogonal to a regular one. Concerning groups in flat theories, it is shown that type-definable groups behave like superstable ones, since they satisfy the same chain condition on definable subgroups and also admit a normal series of definable subgroup with semi-regular quotients.
AB - A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence relation, flat theories are defined as an appropriate version of superstability. It is shown that in a flat theory every type has finite weight and therefore flat theories are strong. Furthermore, it is shown that under reasonable conditions any type is non-orthogonal to a regular one. Concerning groups in flat theories, it is shown that type-definable groups behave like superstable ones, since they satisfy the same chain condition on definable subgroups and also admit a normal series of definable subgroup with semi-regular quotients.
KW - Regular types
KW - Stable theory
KW - Strong
KW - Weight
UR - http://www.scopus.com/inward/record.url?scp=85046691106&partnerID=8YFLogxK
U2 - 10.1016/j.apal.2018.04.005
DO - 10.1016/j.apal.2018.04.005
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85046691106
SN - 0168-0072
VL - 169
SP - 835
EP - 849
JO - Annals of Pure and Applied Logic
JF - Annals of Pure and Applied Logic
IS - 8
ER -