您所在的位置: 首頁  >  學術研究  >  學術信息  >  正文

【4月17日】名家講座第31講:等價關系與Borel歸約——邏輯與數學基礎系列講座

點擊次數:  更新時間:2021-04-13


摘要:

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


Baidu
sogou