Commutative unital rings elementarily equivalent to prescribed product rings

Paola D'Aquino, Angus Macintyre

The classical work of Feferman Vaught gives a powerful, constructive analysis of definability in (generalized) product structures, and certain associated enriched Boolean structure…