不可分割一对的一半
摘要：Luzin定理：Pi^0_alpha集合满足分离原则，但Sigma^0_alpha集合不满足。我们证明对于每个不是Pi^0_alpha的Sigma^0_alpha集合A，存在一个与A不相交的Sigma^0_alpha集合B，但不能用Delta^0_alpha集合C将B与A分离。假设Pi^1_1-determinancy成立，则根据Steel的定理，对于Pi^1_1集合也成立类似的结果。另一方面，假设V=L，则存在一个不可分割Borel对的合适的Pi^1_1集合。这些结果回答了F.Dashiell提出的问题。 最新版本可在www.math.wisc.edu/~miller/ 找到。
作者：Arnold W. Miller
论文ID：math/0407405
分类：Logic
分类简称：math.LO
提交时间：2007-05-23