Products of pseudofinite structures

We prove that the product of any family of pseudofinite structures is pseudofinite using the fundamental work on products of first-order structures due to Feferman and Vaught (1959), exploiting the underlying combinatorics.