# algebraic dual and axiom of choice

If $K$ is a field, the dual of $K^{({\mathbb N})}$ is $K^{\mathbb N}$, and axiom of choice implies that the natural map from $K^{({\mathbb N})}$ to the dual of $K^{\mathbb N}$ is far from being surjective. Is there any field for which one can prove this without using AC?

(A related result that I found surprising is that ${\rm Hom}({\mathbb Z}^{({\mathbb N})},{\mathbb Z})={\mathbb Z}^{\mathbb N}$ and ${\rm Hom}({\mathbb Z}^{\mathbb N},{\mathbb Z})={\mathbb Z}^{({\mathbb N})}$.)

-
Given the two questions Amit linked to, I'm going to vote to close this question as duplicate. Note that I do think it is a good question, just that it's already been answered. –  Theo Johnson-Freyd Apr 25 '11 at 20:42