5 problems

Let $({\mathcal{P}},\Psi)$ be a hod pair such that … Let $\kappa$ be the least strong cardinal which reflects the class of strong cardinals, and let…

Let $obreak\textsf{AD}^+$ denote the strengthened axiom of determinacy. For a function $F$ as in the paper's Theorem nx, call $F$ pe-bad when, for a cone of reals $x$, the supremu…

Let $obreak\textsf{AD}^+$ denote the strengthened axiom of determinacy, and let $obreak\textsf{NLE}$ denote the no-long-extender assertion. Let $obreak\textsf{HPC}$ denote hod-p…

Let $LSA$ abbreviate the assertion that $AD^+$ holds and there is a largest Suslin cardinal belonging to the Solovay sequence. Let $\vec{E}$ be an extender sequence and write…

Generation of closed pointclasses conjecture. If there is a Suslin cardinal $\kappa>w(\Gamma)$ and $L(\Gamma,\mathbb R)\vDash MC$, then for some hod pair $(\mathcal P,\Sigma)$,