Feferman-Vaught Decompositions for Prefix Classes of First Order Logic

Abhisekh Sankaran

The Feferman-Vaught theorem provides a way of evaluating a first order sentence $\phi$ on a disjoint union of structures by producing a decomposition of $\phi$ into sentences which can b…