In an example of usage of quantifier elimination in wikipedia, it briefly mentions Feferman-Vaught theorem and Term Powers, but I am finding little information on what these are. Can anyone explain what Feferman-Vaught theorem and Term Powers are?
Feferman-Vaught theorem and Term Powers
3
$\begingroup$
logic
model-theory