2000 character limit reached
The higher sharp IV: the higher levels
Published 30 May 2017 in math.LO | (1706.00660v1)
Abstract: We establish the descriptive set theoretic representation of the mouse $M_n{#}$, which is called $0{(n+1)#}$. This part deals with the case $n>3$.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.