First, let me observe that it is consistent with ZF + DC that there is no such isomorphism. (This follows from this answer of mine.) However, as I commented on Torsten's post, the existence of such an isomorphism is a relatively harmless since one can force the existence of such an isomorphism without adding new points to C or Qp. Consequently, any purely field-theoretic fact that can be proved using this generic isomorphism can also be proved without (usually with more work). Since forcing is not widely understood, I will explain this in terms of sheaves instead.
Let P be the poset of field isomorphisms p:A→B where A is a countable subfield of C and B is a countable subfield of the algebraic closure of Qp, and p ≤ q iff p ⊇ q (i.e. q is a restriction of p). This ordering is slightly counterintuitive, but it is more convenient than the opposite. The poset P can be viewed as a category where there is one and only one arrow between any two objects p and q iff p ≤ q. The poset P then becomes a Cartesian category where the terminal element is the isomorphism between the two copies of Q in each field, and the product of p and q are is the intersection of the (graphs of) p and q.
There are many Grothendieck topologies that one could define on P. The relevant one for our context is the smallest Grothendieck topology S on P such that, for all x in C and all y in the algebraic closure of Qp, the sieves {q ≤ p : x ∈ dom(q)} and {q ≤ p : y ∈ rng(q)} are both covering sieves at p. (Any larger Grothendieck topology will do; for forcing one uses the double negation topology which includes this one.) Note that the points of (the locale associated to) the site (P, S) are in one-to-one correspondence with isomorphisms between C and the algebraic closure of Qp.
Now, the isomorphisms between C and the algebraic closure of Qp correspond precisely with geometric morphisms Set → Sh(P, S). Whatever is preserved by this geometric morphism can be done equally well on either side. In other words, many things that can be done in Set using such an isomorphism can also be done in Sh(P, S) without this assumption. Of course, this heavily depends on what needs to be done, but there are known ways to carry out this kind of analysis. The site (P, S) is relatively nice, so this analysis is far from impossible.