The higher sharp IV: the higher levels
Logic
2017-06-05 v1
Abstract
We establish the descriptive set theoretic representation of the mouse , which is called . This part deals with the case .
Cite
@article{arxiv.1706.00660,
title = {The higher sharp IV: the higher levels},
author = {Yizheng Zhu},
journal= {arXiv preprint arXiv:1706.00660},
year = {2017}
}
Comments
56 pages, part a series starting with 1604.00481