一类强钻石原理
摘要：大基数的背景下，经典的钻石原理被自然地加强了。例如，当kappa是一个可测基数时，人们可能会要求一个Diamond_kappa序列不仅仅在一个固定集上，而是在一个正规度量为1的集上预知kappa的每个子集。这等价于存在一个函数l:kappa-->V_kappa，对于H(kappa+)中的任何A，存在一个关键点为kappa的嵌入j:V-->M，使得j(l)(kappa)=A。类似的原理还可以应用于许多其他大基数概念，包括弱致密基数、不可描述基数、可展开基数、Ramsey基数、强展开基数和强致密基数，最好将其理解为对这些较弱的大基数概念的Laver函数概念的表达。由此产生的Laver钻石原理可以以多种有趣的方式成立或失败。
作者：Joel David Hamkins
论文ID：math/0211419
分类：Logic
分类简称：math.LO
提交时间：2007-05-23