道格拉斯·森泽;毛尔丁,R·丹尼尔 共分析集的Borel等价与同构。 (英语) Zbl 0568.03023号 异议。数学。 22828页(1984年). 在假设(V=L)的条件下,作者构造了几个有趣的实对非Borel同构共分析集族。利用递归序数的概念,定义了可容许序数和分解。通过可容许分解引入了Borel等价。这些例子基于定理5,该定理声称在(V=L)下Borel等价对于Borel同构是必要的。在定理1-4中,在\(V=L\)下公式化了\(N^N\)的共分析子集的非Borel同构族的存在性。定理1和3中类的非Borel等价性不是由于薄集,而定理2和4断言薄集的非Borl等价族的存在。定理6声称,如果所有射影对策都已确定,则任何两个共同分析的非Borel集都是Borel等价的。在存在薄不可数共分析集的假设下,证明了四个非Borel同构集的存在性。审核人:P.霍利基 引用于三文件 MSC公司: 03E15年 描述性集合论 第3页第45页 内部模型,包括可构造性、顺序可定义性和核心模型 03天80 可计算性和递归理论的应用 28A05号 集合类(Borel域、(sigma)-环等)、可测集、Suslin集、分析集 05年5月54日 描述性集合理论(Borel集、解析集、射影集等的拓扑方面) 关键词:可构造公理;共分析集;容许分解;博雷尔当量;Borel同构;投射游戏 PDF格式BibTeX公司 XML格式