Measures in Nairian models, I
Assuming $\mathrm{AD}^+ + V = L(P(\mathbb{R}))$, we show that the Ultrapower Axiom holds in $\mathrm{HOD}_s$ for every $ω$-sequence of ordinals $s$. We use this result to analyze the structure of Nairian models, showing that they contain many measurable cardinals. As an application, we establish the consistency of the existence of infinitely many consecutive measurable cardinals with ZF, starting with a Woodin limit of Woodin cardinals. This solves a question of Henle, Mathias, and Woodin. From the same large cardinal hypothesis, adapting a forcing technique of Adkisson and Ben-Neria, we…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.19088
curl -X POST /api/v1/records/arxiv/2610.19088/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.19088/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'