On products of elementarily indivisible structures

Nadav Meir

We say a structure $M$ in a first-order language is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure $M^{\prime }$ of $M$ such that $M'…