arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1601.04824math.LO
收藏

约化幂的原子饱和性

Atomic saturation of reduced powers

Saharon Shelah

AI总结:

本研究将超幂饱和性相关定理推广至约化幂场景,通过原子公式构成的型的饱和性开展分析,证明稠密线性序理论及SOP₃序对(T, Delta)具极大性,同时指出SOP₂条件不足,p等于t定理与共尾性唯一对偶性无法推广。

摘要:

我们的目标是将一些关于超幂饱和性的定理推广到约化幂。自然地,我们通过处理由原子公式构成的型的饱和性来开展研究。我们成功推广了稠密线性序理论是极大的这一结论,且任意满足SOP₃的序对(T, Delta)(Delta由原子公式或原子公式的合取构成)也具有极大性。但SOP₂条件不足,因此p等于t定理无法在此情形下推广。共尾性的唯一对偶性也同理无法推广。

英文摘要:

Our aim was to generalize some theorems about the saturation of ultra-powers to reduced powers. Naturally, we deal via saturation for types consisting of atomic formulas. We succeed to generalize the theory of dense linear is maximal and so is any pair (T, Delta) which is SOP_3 (Delta consists of atomic or conjunction of atomic formulas). However, SOP_2 is not enough, so the p equals t theorem cannot be generalized in this case. Similarly the unique dual of cofinality.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑