3
$\begingroup$

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?

1 Answers 1