Corpus ID: 119150186

The higher sharp IV: the higher levels

@inproceedings{Zhu2017TheHS,
  title={The higher sharp IV: the higher levels},
  author={Yizheng Zhu},
  year={2017}
}
  • Yizheng Zhu
  • Published 2017
  • Mathematics
  • 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$. 

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Figures from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-5 OF 5 REFERENCES

    Large Cardinals from Determinacy

    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL

    Descriptive set theory, volume 155 of Mathematical Surveys and Monographs

    • Yiannis N. Moschovakis
    • American Mathematical Society, Providence, RI, second edition,
    • 2009
    VIEW 2 EXCERPTS

    Optimal proofs of determinacy

    • Itay Neeman
    • Mathematics, Computer Science
    • Bulletin of Symbolic Logic
    • 1995
    VIEW 2 EXCERPTS