描述集合论
- 网络Descriptive set theory
描述集合论-
在这一章中，我们简要介绍了关于经典描述集合论、有效描述集合论、不变量描述集合论的一些历史背景，然后我们给出等价关系与Borel归约的一些基本定义。
In this chapter , we give a brief introduction on the historical background of classical descriptive set theory , effective descriptive set theory and invariant descriptive set theory , then we give some basic definitions about equivalence relations and Borel reducibility .
-
Borel归约是描述集合论中的&个基本概念，我们经常用它来比较不同等价关系的复杂度。
Borel reducibility is a fundamental concept in Descriptive Set Theory , we often use it to compare the complexity of different equivalence relations .