arXiv Open Access 2017

The higher sharp IV: the higher levels

Yizheng Zhu

Lihat Sumber

Abstrak

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$.

Topik & Kata Kunci

math.LO

Penulis (1)

Yizheng Zhu

Format Sitasi

APA MLA BibTeX

Zhu, Y. (2017). The higher sharp IV: the higher levels. https://arxiv.org/abs/1706.00660

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2017
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓