The axiom of choice breaks pretty bad in this model, some stray observations:
The axiom of choice for countable families of finite sets. This implies breaking almost any feasible form of "choice function for X families" sort of principle, in turn all the Dependent Choice principles.
There exists an infinite Dedekind finite set, therefore not every infinite set has a countable subset.
The ordering principle fails, not every set can be linearly ordered. In extension of that the Boolean Prime Ideal Theorem breaks down
I'm not sure about other choice principles that you have in mind, and since there are so many of them it would be a better idea if you point out what sort of choice principles you are looking for.
I have several educated guesses, which I have not yet been able to confirm and thus I will update this during the day (or week) as I have progress in locating references:
If you consider KWP principles, where KWP($k$) says that for every there is some ordinal $\alpha$ such that $|x|\le\mathcal P^k(\alpha)$ ($k$-th iteration of the power set operation); I suspect that KWP(3) should hold in this model.
It is worth noting that KWP(2) already fails in this model as it implies the ordering principle which, as the above remarks explain, fails.
Every infinite set can be mapped surjectively onto $\omega$.
Since both principles are not trivially concluded in this model it would probably require some meddling with the definitions of the forcing and the permutations thereof.
Update I:
We use the following claim to partially prove my first guess:
- Suppose $A,B$ are sets then $|\mathcal P(A)\times\mathcal P(B)|\le\mathcal P(A\times B)$, the proof is by the injection $\langle X,Y\rangle\mapsto X\times Y$.
In Consequences of the Axiom of Choice it says that SVC holds in this model, it also follows from several different arguments in Blass' original paper [1]. I could not find a direct reference to what is the set which proves SVC in this model, as Blass writes that one needs to consider a different generic set.
However under the (reasonable?) assumption that this set is the set of socks (denoted by $S$), which is the set which can be partitioned into countably many pairs without a choice function. Every sock is a set of reals so the collection of all socks is a set of sets of real numbers, that is $S\subseteq\mathcal P^2(\omega)$
Now the SVC($S$) axiom says that for every $x$ there is an ordinal $\alpha$ such that $|x|\le^* |S\times\alpha|$. This means that $|x|\le2^{|S\times\alpha|}$ (consider $f$ to be the surjection guaranteed, consider the map sending $a\in x$ to its fiber in $f$).
Now we have by the claims above and the fact that $x\le y\rightarrow 2^x\le2^y$:
$\mathcal P(S\times\alpha)\le \mathcal P^2(\mathcal P(\omega)\times\alpha))\le \mathcal P^2(\mathcal P(\omega)\times\mathcal P(\alpha))\le \mathcal P^3(\omega\times\alpha)$
We can also assume without loss of generality that $\omega\times\alpha$ is equipotent with $\alpha$. This implies that KWP(3) holds in this model if indeed my guess was correct and $S$ was taken as above.
This also shows that in the KWP($k$) "metric" the second model of Cohen is not very far from ZFC, although this is indeed a very different metric than usually.
Bibliography:
- Andreas Blass, Injectivity, Projectivity, and the Axiom of Choice. Transactions of the American Mathematical Society, Vol. 255, (Nov., 1979), pp. 31-59