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.