×

共分析集的Borel等价与同构。 (英语) Zbl 0568.03023号

在假设(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集、解析集、射影集等的拓扑方面)