×

模块中的分层顺序。 (英语) Zbl 0551.03020号

Frege会议,Proc。国际会议,瑞士/德国。1984年,数学。第20号决议,第44-56页(1984年)。
[关于整个系列,请参见Zbl 0544.0005号.]
对于R模的完备理论和T的非常饱和模型,我们可以将N写成(M\oplus U),其中M是(|T|^+)饱和的(所以是纯内射的),N实现了在(M\cup\bara)上的所有类型。指出T的分层序与U的无限可定义子群上的包含序(Prest的重做功)基本相同。如果T是超级可定义的,那么Th(U)是完全超越的,我们可以用(p.p)-可定义替换无限可定义。作为应用,我们证明了任何超级阿贝尔群的Lascar秩都是\(<\omega.2\)。
审核人:A.皮莱

MSC公司:

03C60型 模型理论代数
03C45号机组 分类理论、稳定性和模型理论中的相关概念