The higher sharp IV: the higher levels
arXiv:1706.00660
Abstract
We establish the descriptive set theoretic representation of the mouse , which is called . This part deals with the case .
56 pages, part a series starting with 1604.00481
arXiv:1706.00660
We establish the descriptive set theoretic representation of the mouse , which is called . This part deals with the case .
56 pages, part a series starting with 1604.00481