Feferman–Vaught theorem

The Feferman–Vaught Theorem is an important result in model theory, a branch of mathematical logic. It provides a way to understand the structure of models of many-sorted logics, which are logics that allow for several different sorts (or types) of objects. The theorem is particularly useful in the context of theories that can be represented by more than one sort.