Foiaş et al. have shown existence of Foiaş–Prodi statistical solutions for the (forced) Navier–Stokes equations, see e.g. [1]}, [2]}, [3]}. Using these equivalence theorems, this implies existence of statistical solutions via correlation measures as in Definition REF .
