中科院数学与系统科学研究院

数学研究所

学术报告会

Speaker：Dr Zhu Yizheng（Muenster University, Germany）

Title：The higher sharp

Time：02.23  ,10 :00-11 :00

Venue：N913

Abstract：

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.