{"id":"arxiv/2609.13934","url":"https://arxiv.org/abs/2609.13934","tags":["math.LO"],"score":0,"title":"Diamonds in mice","domain":"math.LO","source":"arxiv","authors":["Farmer Schlutzenberg"],"reviews":0,"subject":"math.LO","summary":"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}$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-12","reactions":{}}