数学研究所
数理逻辑讨论班
报告人： 喻 良 教授（南京大学)
题 目：A recursion theoretical proof of Friedman's conjecture
时 间：2018.04.09（星期一）, 14:00--16:00
地 点：数学院南楼N820室
摘 要: We give a new proof of Friedmans conjecture that every uncountable ∆1 1 set of reals has a member of each hyperdegree greater than or equal to the hyperjump.