集合论模型的基数特征

我们继续研究 Shelah 的可解释性序 $\trianglelefteq^*_\kappa$ 以及新序 $\trianglelefteq^\times_\kappa$。特别地，我们给出在这些序中存在极小不稳定、非简单与非低理论的精简证明，并对 Hrushovski 的超图例子 $T_{n, k}$ 给出类似分析。我们还证明：若 $\mathcal{B}$ 是一个具有 $\lambda$-c.c. 的完备布尔代数，则 $\mathcal{U}$ 上的任何非主超滤均不能 $\lambda^+$-饱和任何非简单理论。