摘要:
在描述性集合論中,Borel歸約是一種用來刻畫各種等價關系相對複雜性的有用工具。最近幾年來,很多邏輯學家研究這一主題,人們已得到很多關于此主題的有趣結論。在此講座中,将概述這一主題的發展曆程:從此領域的基礎理論到最近的一些新結果。