紧凑基数的模式
摘要：紧身卡片的模式可以是几乎任意的，我们相对于强假设证明了这一点。具体来说，我们证明了如果V是一个模型，满足“ZFC + Ω是可测的超紧限制的最小不可测极限 + f：Ω→2是一个函数”，则存在一个V中的偏序P，使得对于Vbar = V^P，Vbar_Ω模型为“ZFC + 存在一个合适的紧身卡片类，如果f（α）= 0，那么第α个紧身卡片不是超紧 +如果f（α）= 1，那么第α个紧身卡片是超紧”。然后，我们证明了一个推广了这个定理的版本，假设kappa是超紧卡片的超紧极限，f：kappa→2是一个函数，并且我们从该定理的推广版本中推导出：超紧卡片的可测极限与非超紧且紧凑卡片的最小可测极限的一致性以及最小超紧卡片是紧凑卡片的极限的一致性。
作者：Arthur W. Apter (Baruch College of CUNY)
论文ID：math/9903010
分类：Logic
分类简称：math.LO
提交时间：2007-05-23