Proposition 15.5. Assuming that:

  • T a complete L-theory with infinite models

  • M⊨T

Then M is ℵ0-saturated if and only if M is ℵ0-homogeneous and M realises all types in Sn(T), n≥1.