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 $κ$. In particular, using a concept called Covering Matrices, we show that the $Θ$ of the derived model at $κ$ is strictly less than $κ^+$ under various circumstances; in particular, this shows that the conclusion holds under $PFA$ if $κ$ is a limit of Woodin cardinals of cofinality $ω$ 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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.16854
curl -X POST /api/v1/records/arxiv/2602.16854/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.16854/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'