Free products and elementary equivalence
Free products and elementary equivalence
It is shown that the free product operation on two groupoids preserves both elementary equivalence and elementary subsystem.An example is given showing the above results for semigroups false, thus answering in the negative a question of Feferman and Vaught.