After working out the details, here is a summary of the proofs using symmetric models. I ran out of free time to fully write them in a nice $\LaTeX$ file, but perhaps I'll have some more free time in September and I could finish up these proofs.

The idea is to mimic the permutation models as given in Jech. One can then ask, "Well, in Jech he chooses some set of objects in the full universe, and shows it has a support. But in forcing we don't have a simple access to names like that, since they might not be "sufficiently determined" for us to collect them into a symmetric name!"

To counter the effects of this problem here is a generalized formulation of The Continuity Lemma, as Felgner called it (for the basic Cohen model). $\newcommand{\PP}{\Bbb{P}}\newcommand{\dom}{\operatorname{dom}}\newcommand{\fix}{\operatorname{fix}}\newcommand{\sym}{\operatorname{sym}}\newcommand{\forces}{\Vdash}$

Suppose that $\PP$ is a Cohen type forcing, with $p\colon A\times\kappa\to2$ such that the domain of $p$ is $<\kappa$, ordered by reverse inclusion. We write $s(p)$ as the projection of the $\dom p$ onto $A$.

Let $\scr G$ be a group of permutations of $A$ acting on $\PP$ naturally: $\pi p(\pi a,\alpha)=p(a,\alpha)$. And let $I$ be an ideal on $A$ which is closed under $\scr G$, and $s(p)\in I$ for all $i\in I$. Moreover, assume that whenever $X,Y\in I$ there is a permutation in $\scr G$ such that $\pi\upharpoonright(X\cap Y)=\operatorname{id}$ and $\pi''(X\setminus Y)$ is disjoint from $Y$.

**Then** whenever $\dot x_1,\ldots,\dot x_n$ are symmetric names with respect to the filter generated by $\{\fix(E)\mid E\in I\}$ and $E\in I$ such that $\fix(E)$ is a subgroup of $\sym(\dot x_i)$ for each $i$, and $p\forces_{HS}\varphi(\dot x_1,\ldots,\dot x_n)$ then $p\upharpoonright(E\times\kappa)\forces_{HS}\varphi(\dot x_1,\ldots,\dot x_n)$.

(If you are uncomfortable with the notion of $\forces_{HS}$ you can instead require $\varphi$ to be $\Delta_0$, and replace the relativized quantifiers by names one at a time.)

Okay let me explain this for a second, since there are plenty of conditions and plenty of more conditions in the consequences. The idea is that if $p$ forces that something happens in the symmetric model, about concrete symmetric names, then we can restrict $p$ to something whose support is in the ideal, and already this decides the same value for the same statement with the same names. In our two examples, all the conditions will be easy to verify.

## Theorem I:

Let $\kappa$ be a successor cardinal, then it is consistent that $\sf DC_{<\kappa}$ holds, $\sf W_\kappa$ fails, and $(\forall \lambda\in\rm Ord)\sf AC_\lambda$

### Proof.

We take $\PP$ to be functions from $\kappa\times\kappa\to2$ with domain smaller than $\kappa$. $\scr G$ here is the group of all permutations of $\kappa$ and $I$ is $[\kappa]^{<\kappa}$. So the conditions easily hold, and just to remind you here our filter of subgroups is the one generated by $\{\fix(E)\mid E\in I\}$, and it is normal since $I$ is closed under the operation of $\scr G$, and $\cal F$ is $\kappa$-complete since $I$ is $\kappa$-complete.

If $G$ is a generic filter, we let $a_\alpha=\{\beta\mid\exists p\in G: p(\alpha,\beta)=1\}$, and $\dot a_\alpha$ is going to be the canonical name for this set. Additionally, $A$ is the set of all these $a_\alpha$ and $\dot A$ will be its canonical name. Let $N$ be a symmetric model defined by $\cal F$ given above, then by standard arguments $A$ is in $N$.

First off, if both the forcing and the filter are $\kappa$-closed, then $\sf DC_{<\kappa}$ holds in the symmetric model. This much is easy to verify (you can look it up in my thesis, or in some of the written notes in my homepage). So we have this for almost free.

Secondly, $\sf W_\kappa$ fails since $|A|$ and $\kappa$ are incomparable. This is a standard proof, like the one in Cohen's first model with the Dedekind-finite set of real numbers.

The big trick is to show that given a function $X\colon\lambda\to N\setminus\{\varnothing\}$ then we want to find a function $g$ with domain $\lambda$ such that $g(i)\in X(i)$. Suppose that $p\in G$ and $\dot X$ is a hereditarily symmetric name for $X$ such that $p$ forces $\dot X$ has the above properties.

Let $E\in I$ be a support for $\dot X$, namely if $\pi\in\fix(E)$ then $\pi\dot X=\dot X$. Without loss of generality $s(p)\subseteq E$ and $|E|^+=\kappa$. Pick some $E'$ disjoint to $E$ and $|E'|=|E|$. We will find a choice function with support $E\cup E'$.

For each $\gamma<\lambda$ let $q\leq p$ such that for some symmetric $\dot y_\gamma$ we have that $q\forces\dot y_\gamma\in\dot X(\check\gamma)$. Let $F$ be a support for $\dot y_\gamma$, now we can find some $\pi\in\fix(E)$ such that $\pi''F\subseteq E\cup E'$, define $\dot x_\gamma=\pi\dot y_\gamma$. Now we have that $\pi q\leq p$ (since $\pi p=p$), $E\cup E'$ is a support for $\dot x_\gamma$, and $\pi q\forces\dot x_\gamma\in\dot X(\check\gamma)$. So $\pi q\upharpoonright(E\cup E'\times\kappa)$ also forces that.

For each $\gamma<\lambda$ pick a maximal antichain below $p$ of conditions as above (and we can assume they all have domain within $E\cup E'\times\kappa$), $D_\gamma$ and names $\dot x_\gamma(q)$ as above. Then $\{(q,(\check\gamma,\dot x_\gamma(q))^\bullet)\mid q\in D_\gamma,\gamma<\lambda\}$ is a choice function and $E\cup E'$ is clearly a support for it. $\square$

## Theorem II:

If $\kappa$ is uncountable, then it is consistent that $\sf DC$ fails, $\sf W_{<\kappa}$ and $\sf AC_{<\kappa}$ both hold.

## Proof.

Let me skimp out on most of the details. We take $A$ in this case to be $\kappa^{<\omega}$ (you can replace $\omega$ here by the least cardinal for which you want $\sf DC$ to fail). Our automorphism group is going to be the automorphisms of the tree $\kappa^{<\omega}$ and the ideal of supports is the ideal of bounded subtrees of cardinality less than $\kappa$.

For $t\in\kappa^{<\omega}$ define $a_t$ as the Cohen set defined when fixing $t$ and $A$ as the set of all $a_t$'s. Then the structure of $\kappa^{<\omega}$ is fixed trivially by the automorphisms, so $A$ has a tree structure but no branches (since a branch would require a support with an unbounded tree). Therefore $\sf DC$ fails.

To show that $\sf W_\lambda$ or $\sf AC_\lambda$ hold, for $\lambda<\kappa$, we perform a trick similar to the previous proof. However here we need to be slightly more careful. But we can also notice that the union of trees whose intersection is bounded, is a bounded tree. Therefore the union of any less than $\kappa$ "almost disjoint" supports is a support.

So here we take a name and by induction we construct a sequence of conditions and names which witness $\sf W_\lambda$ or $\sf AC_\lambda$. Simply by ensuring that the next name we take has a support which extends the previously chosen names "sideways" and not "up". This will guarantee that the union of the symmetric names for the functions at limit steps is a function. And again the generalized continuity lemma ensures we can always restrict back to smaller conditions as we progress, to ensure that their support is in the ideal.

shouldtranslate relatively smoothly. I will sit and verify that after I had some sleep. But my experience with translating permutation models to symmetric models says that it has a good chance of working. $\endgroup$ – Asaf Karagila Aug 13 '14 at 15:06