Free products and elementary equivalence

Abstract

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.