paper

The higher sharp I: on

arXiv:1604.00481

Abstract

We establish the descriptive set theoretic representation of the mouse , which is called . This part deals with the case .

arXiv comment21 pages, split into four parts