摘要:
在描述性集合论中,Borel归约是一种用来刻画各种等价关系相对复杂性的有用工具。最近几年来,很多逻辑学家研究这一主题,人们已得到很多关于此主题的有趣结论。在此讲座中,将概述这一主题的发展历程:从此领域的基础理论到最近的一些新结果。