The higher sharp IV: the higher levels

MaRDI QIDQ6287400zbMATH OpenFDO

Authors Yizheng Zhu

Publication date 30 May 2017

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Partition relations (03E02) Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Abstract: We establish the descriptive set theoretic representation of the mouse $$, which is called $$. This part deals with the case $n>3$.

This page was built for publication: The higher sharp IV: the higher levels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6287400)