Recursively saturated, resplendent models, and saturated models.

Omitting theories of undefinable sets.

Automorphisms of countable recursively saturated models.

Automorphisms groups of countable recursively saturated models.

Saturated models.

Resplendent models.