在温和抽象初等类中，通过一个继承基数的分类性
摘要：抽象元类K的泛型元模型是无限大的且满足合并和联合嵌入性质 定理1：假设K是chi tame。如果对于某个lambda大于LS(K)，K在该lambda+上是泛型的，则K在所有(mugeq (lambda+chi))+上都是泛型的。 定理2：如果K是LS(K) tame且在LS(K)和LS(K)+上都是泛型的，则K在所有mugeq LS(K)上都是泛型的。
作者：Rami Grossberg and Monica VanDieren
论文ID：math/0510004
分类：Logic
分类简称：math.LO
提交时间：2007-05-23