加载中…
In this paper we prove: Theorem 1. Let be an abstract elementary class which satisfies the joint embedding and amalgamation properties. Suppose $\lambda>\mu\geq LS()\theta<\lambda^+\mu\mu^+\mu^+$-symmetry, then for any increasing sequence of -saturated models of cardinality , the model is -saturated.

生成讲解博客的中文版本

生成AI智能校验的中文版本