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

arXiv1706.00661MaRDI QIDQ6287401FDOQ6287401

Authors: Yizheng Zhu 

Publication date: 30 May 2017

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$.

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)

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)