Diamonds in mice
Let $M$ be a $(0,ω_1+1)$-iterable mouse with no largest cardinal. Let $γ\leqκ$ be uncountable cardinals of $M$, with $κ$ regular in $M$. Then $M$ satisfies $\diamondsuit_{κγ}^+$, and if $κ$ is non-ineffable in $M$ then $M$ satisfies $\diamondsuit_{κκ}^+$. Suppose that either $ω_1^M=ω_1$ or $M$ satisfies "I am $(0,ω_1+1)$-iterable". Let $κ\geqω_1^M$ be a cardinal of $M$. Then $M$ satisfies $\diamondsuit^*_{κω_1^M}$.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.13934
curl -X POST /api/v1/records/arxiv/2609.13934/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.13934/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'