More Derived Models in PFA

This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like $PFA$ and the derived model at a limit of Woodin cardinals $\kappa$. In particular, using a concept called Covering Matrices, we show that the $\Theta$ of the derived model at $\kappa$ is strictly less than $\kappa^+$ under various circumstances; in particular, this shows that the conclusion holds under $PFA$ if $\kappa$ is a limit of Woodin cardinals of cofinality $\omega$ and the derived model does not satisfy $LSA$. Assuming a form of mouse capturing, we show that the derived model satisfies $AD_{\mathbb{R}}$ under $PFA$ when $\kappa$ is a regular limit of Woodin cardinals. If $\kappa$ is an indestructibly $(\kappa,\kappa^+)$-weakly compact limit of Woodin cardinals, then the derived model outright satisfies $AD_{\mathbb{R}}$.