Pseudofinite Homogeneity, Isolation, and Reducibility

It has been proved (by S. M. Dudakov and M. A. Taitslin) that the reducibility of some models of a theory implies the second pseudofinite homogeneity property for this theory. We prove the converse, namely, that any theory with the first or the second pseudofinite homogeneity property has a reducible model and, therefore, possesses the second isolation property. This also proves the equivalence of the second isolation property and the second pseudofinite homogeneity property, in contrast to the first pseudofinite homogeneity property, which is more general than the first isolation property (this was established by O. V. Belegradek, A. P. Stolboushin, and M. A. Taitslin).