1. Omitting theories of undefinable sets.
2. Automorphisms of countable recursively saturated models.
3. Automorphisms groups of countable recursively saturated models.
4. Saturated models.
5. Resplendent models.