The higher sharp II: on M₂^\#

MaRDI QIDQ6272714zbMATH OpenFDO

Authors Yizheng Zhu

Publication date 19 April 2016

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 partially deals with the case $n=2$ by proving the many-one equivalence of $$ and the theory of $$ with the higher level analogs of $L$-indiscernibles.

This page was built for publication: The higher sharp II: on $M_2^\#$

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