Variations on the Feferman-Vaught Theorem, with applications to ${\prod }_p{\mathbb{F}}_p$

Alice Medvedev, Alexander Van Abel

Using the Feferman-Vaught Theorem, we prove that a definable subset of a product structure must be a Boolean combination of open sets, in the product topology induced by giving eac…