abla_kappa、显著基数和0^#

摘要：对于一个不可数的正规基数kappa，我们定义abla_kappa(A)为以下命题：A是kappa的子集，对于所有大于kappa的正规基数heta，满足条件的集合X存在于[heta]^

作者：Ralf Schindler

论文ID：math/0105208

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中