论文标题
小型模型，大型红衣主教和诱发的理想
Small models, large cardinals, and induced ideals
论文作者
论文摘要
我们表明，可以通过某些过滤器的存在对于集合理论的小模型来表征许多大的基本概念。这种对应关系将使我们获得一种规范的方式，以将理想分配给许多大型基地概念。每当以前定义了这种理想时，这种任务都与经典的大型基础理想相吻合。此外，在许多重要情况下，这些理想之间的关系反映了在直接含义和一致性强度下相应的大型基本特性的排序。
We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will allow us to obtain a canonical way in which to assign ideals to many large cardinal notions. This assignment coincides with classical large cardinal ideals whenever such ideals had been defined before. Moreover, in many important cases, relations between these ideals reflect the ordering of the corresponding large cardinal properties both under direct implication and consistency strength.
