On generic structures preserving elementary equivalence and elementary embeddability

Abstract

We consider criteria for elementary equivalence and elementary embeddability for generic structures. They use classical characterizations for the general case. The criterion for elementary equivalence is based on the well known Fra¨ıss´e–Taimanov–Ehrenfeucht overturning method. The criterion for elementary embeddability uses the known Tarski–Vaught test.