# The higher sharp

Presented by:
Y Zhu Universität Münster
Date:
Friday 28th August 2015 - 15:00 to 16:00
Venue:
INI Seminar Room 1
Abstract:
We establish the descriptive set theoretic representation of the mouse $M_n^\#$, which is called $0^{(n+1)\#}$. At even levels, $0^{(2n)\#}$ is the higher level analog of Kleene's O; at odd levels, $0^{(2n+1)\#}$ is the unique iterable remarkable level-$(2n+1)$ blueprint.
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.