The Feferman-Vaught theorem for reduced ideal-products


Milan Z. Grulović, Miloš S.




The Feferman-Vaught theorem for first order logic is generalized for reduced ideal-products of topological structures. Roughly, the theorem connects satisfaction of a topological formula in a reduced ideal-product of topological structures with the satisfaction of the adjoint Boolean formula in the corresponding Boolean algebra.