Of course the many-electron wave functions are always superpositions of antisymmetrized products of one-body wave functions. The Hilbert space is just that, i.e., any N-body wave function fulfills
[tex]\psi(t,\vec{x}_{P(1)},\sigma_{P(1)};\vec{x}_{P(2)},\sigma_{P(2)};\ldots;\vec{x}_{P(N)},\sigma_{P(N)}) = \sigma(P) \psi(t,\vec{x}_1,\sigma_1;\vec{x}_2,\sigma_2;\ldots;\vec{x}_N,\sigma_N)[/tex]
for all [itex]P \in S_N[/itex]. The wave function is always totally antisymmetric under permutation of electrons. It must be taken antisymmetrized at the initial time and then quantum-theoretical dynamics keeps it in the antisymmetrized state, because the Hamiltonian must commute with all permutation operators. Otherwise electrons weren't indistinguishable from each other.
This means in the dynamics is nothing which must antisymmetrize the wave function at any time step, but that's fulfilled automatically.
Further, in the relativistic realm, we only use local QFTs today, and they are fulfilling the linked-cluster principle, clearly contradicting Cox's statements!