中科院数学与系统科学研究院
数学研究所
学术报告会
报告人：朱一铮 博士 （德国明斯特大学数理逻辑研究所）
题 目：The higher sharp
时 间：02.23 (星期二) ,10 :00-11 :00
地 点：数学院南楼N913室
摘 要：
We establish the descriptive set theoretic representation of the mouse $M_n^{\#}$, which is called $0^{(n+1)\#}$. The study of canonical inner models for large cardinals is the most fundamental approach towards understanding the behavior of projective sets of reals. Amongst other things, this work establishes a level-wise model-theoretic representation of projective sets of reals, and describes the structural theory of thin projective equivalence relations on the set of reals. It should be a starting point of generalizing recursion theoretic tools to the projective levels.