理想等价关系与Lusin导数
Idealistic equivalence relations and the Lusin derivative
发表机构康奈尔大学 · 罗兹理工大学
查看机构详情
- Cornell University（康奈尔大学）
- Lodz University of Technology（罗兹理工大学）
机构由 AI 辅助整理，请以论文原文为准。
首次发表
浏览论文内容
中文总结 AI 辅助
本文通过分析Lusin导数定义的树集合的Borel复杂度，证明了存在一个理想解析等价关系，其Borel类不逐类Borel同构于轨道等价关系，回答了Becker等人的问题。
中文摘要 AI 辅助
我们给出一个不依赖于解析决定性证明的证明，即存在一个具有Borel类的理想解析等价关系，它不是逐类Borel同构于轨道等价关系。此结果回答了Becker以及Calderoni和Motto Ros的问题。我们的证明通过对由Lusin导数概念定义的某些可数根树集合的Borel复杂度的分析来进行。
英文摘要
We give a proof, that does not rely on analytic determinacy, of the existence of an idealistic analytic equivalence relation with Borel classes that is not classwise Borel isomorphic to an orbit equivalence relation. This result answers a question of Becker, and Calderoni and Motto Ros. Our proof proceeds through an analysis of Borel complexity of certain sets of countable rooted trees defined via the notion of the Lusin derivative.
