优良超滤子与高度饱和模型：一个易懂的解释

高度饱和模型是非标准分析模型论机制的基本部分。在生成它们的两种方法中，借助$\kappa^+$-优良超滤子构造的超幂似乎远不那么流行。基于标准阐述有些艰涩的假设，我们给出了一个旨在更易理解的陈述。