Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

It is well known that adding a subset of a regular cardinal $\kappa$ with partial functions of size $< \kappa$ forces $\Diamond_\kappa$. One can also see that if $S \in V$ is a stationary subset of $\kappa$, then $Add(\kappa,1)$ also forces $\Diamond(S)$. Question: If $G \subseteq Add(\kappa,1)$ is generic, do we get $\Diamond(S)$ for all stationary $S \in V[G]$, $S \subseteq \kappa$?

share|improve this question
    
Wait, for uncountable $\kappa$ doesn't the existence of a diamond sequence imply $\sf CH(\kappa)$? How does that fit with the first sentence? –  Asaf Karagila Mar 22 '13 at 21:59
    
Asaf, $\Diamond_\kappa$ implies $2^{<\kappa} = \kappa$. And yes, $Add(\kappa)$ does force this; if this instance of GCH fails then cardinals are collapsed. –  Monroe Eskew Mar 22 '13 at 23:19
    
Hm. I should really revise my "Forcing 101" material. –  Asaf Karagila Mar 22 '13 at 23:25

1 Answer 1

up vote 9 down vote accepted

The answer is yes, and the construction is essentially the same as for $\diamondsuit$. Let $\dot S$ be a name for the stationary set, and define a diamond sequence $\langle A_\alpha\mid\alpha\in S\rangle$ as follows: Let $f$ be the $Add(\kappa,1)$ function. Suppose $\alpha\in S$. Then let $\gamma$ be least such that $f\upharpoonright\gamma\Vdash\alpha\in\dot S$ and let $A_\alpha=\{\nu<\alpha\mid f(\gamma+\nu)=1\}$.

In answer to the comment, let $\dot C$ be a name for a club set $C$ and $\dot x$ the name for a subset of $\kappa$. Let $C'$ be the set of $\nu\in C$ such that $f\upharpoonright\nu$ decides the value of $\dot x\cap\nu$ and forces $\nu$ is a limit point of $\dot C$ (and hence is in $\dot C$). Then it is forced that $\dot C'$ is club in $V[\dot f]$, so there is a dense set of $q$ such that, setting $\eta=\operatorname{domain}(q)$, $q\Vdash\eta\in\dot C'$ and $q$ does not force $\eta\notin\dot S$. Then let $q'\le q$ be of minimal length forcing $\eta\in\dot S$, and let $q''$ be $q'$ with the known value of $\dot x\cap \eta$ tacked onto the end. Then $q''$ forces that $\dot A_\eta= \dot x\cap\eta$.

share|improve this answer
    
Can you explain why this works? Thanks. –  Monroe Eskew Mar 29 '13 at 7:35
    
Thank you Bill! –  Monroe Eskew Mar 29 '13 at 18:51

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.