The higher sharp III: An EM blueprint of 0^{3\#} and the level-4 Kechris-Martin

MaRDI QIDQ6287401zbMATH 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) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Abstract: We establish the descriptive set theoretic representation of the mouse $$, which is called $$. This part partially finishes the case $n=2$ by establishing the higher level analog of the EM blueprint definition of $$. From this, we prove the level-4 Kechris-Martin Theorem and deal with the case $n=3$.

This page was built for publication: The higher sharp III: An EM blueprint of $0^{3\#}$ and the level-4 Kechris-Martin

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