关于H(kappa)上Sigma\_1^1可定义的等价关系
摘要：不可数正则基数kappa被称为定义在H(kappa)上的2 Sigma\_1^1等价关系的函数的等价关系，如果有一个一阶句子F和参数R子集H(kappa)，使得函数f,g:kappa --> 2当且仅当存在h:kappa --> 2, 结构(H(kappa),in,R,f,g,h)满足F时，它们是等价的，其中in, R, f, g和h是F中出现的符号的解释。所有mu的值，其中1 leq mu leq kappa^ +或mu=2^kappa，都是这种Sigma\_1^1等价关系的等价类的可能数。此外，这些可能性在<=kappa个基数的并集和 作者：Saharon Shelah and Pauli V"ais"anen 论文ID：math/9911231 分类：Logic 分类简称：math.LO 提交时间：2007-05-23