Current Position：Home > English Version > Lectures > Seminar

SpeakerDr Zhu YizhengMuenster University, Germany

TitleThe higher sharp

Time02.23  ,10 :00-11 :00

VenueN913

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.