Recursively saturated, resplendent models, and saturated models.

Cuts in recursively saturated models.

Automorphisms of countable recursively saturated models.

Automorphisms groups of countable recursively saturated models.

End extensions, cofinal extensions.

Saturated models.

Resplendent models.