3 problems

The conjecture on class-generic reals and lifting normal measures
arXiv@arxiv
Normal-measure lifting conjecture. It is not possible to add a class-generic real which is not set-generic while lifting all normal measures on $\kappa$ . Moreover, it is not possib…
Conjectureopencore-model-theory forcing large-cardinals
0
The conjecture on lifting extenders at a critical point of order ba^{++}
arXiv@arxiv
Extender-lifting conjecture. Although it is not in general possible to lift all extenders on a fixed critical point $\kappa$ satisfying $o(\kappa)=\kappa^{+++}$ , this should be imp…
Conjectureopencore-model-theory inner-model-theory large-cardinals
2
The minimal-mouse iteration characterization of the Chang-model core model
arXiv@arxiv
Minimal-mouse core-model conjecture. If $M$ is the minimal mouse for which this procedure yields a sharp for the Chang model, then the core model $K(\mathcal{R})^{\mathbb{C}}$ of t…
Conjectureopenchang-model core-model-theory inner-model-theory
0

The conjecture on class-generic reals and lifting normal measures