As it is well known, the groups of definable automorphisms of two elementary equivalent relational structures satisfy the same ∀1-statements. We show that this does not hold in general for ∀2-statements, thus correcting an error in the literature.
© Copyright 1975 Pacific Journal of Mathematics. All rights reserved.