  In the context of $\mathsf{ZF}+\mathsf{DC}$, we force $\mathsf{DC}_\kappa$
for relations on $\mathcal{P}(\kappa)$ for $\kappa{}<\aleph_\omega$ over the
Chang model $\mathrm{L}(\mathrm{Ord}^\omega)$ making some assumptions on the
thorn sequence defined by ${\it \unicode{xFE}}_0=\omega$, ${\it
\unicode{xFE}}_{\alpha{}+1}$ as the least ordinal not a surjective image of
${\it \unicode{xFE}}_\alpha^\omega$ (i.e. no $f:{\it
\unicode{xFE}}_{\alpha}^\omega{}\rightarrow {\it \unicode{xFE}}_{\alpha{}+1}$
is surjective) and ${\it \unicode{xFE}}_\gamma{}=\sup_{\alpha{}<\gamma}{\it
\unicode{xFE}}_\alpha$ for limit $\gamma$. These assumptions are motivated from
results about $\Theta$ in the context of determinacy, and could be reasonable
ways of thinking about the Chang model. Explicitly, we assume cardinals
$\lambda$ on the thorn sequence are strongly regular (meaning regular and
functions $f:\kappa{}^{<\kappa}\rightarrow \lambda$ are bounded whenever
$\kappa{}<\lambda$ is on the thorn sequence) and justified (meaning
$\mathcal{P}(\kappa^\omega)\cap \mathrm{L}(\mathrm{Ord}^\omega)\subseteq
\mathrm{L}_{\lambda}(\lambda^\omega{},X)$ for some $X\subseteq \lambda$ for any
$\kappa{}<\lambda$ on the thorn sequence). This allow us to use Cohen forcing
and establish more dependent choice.
