Theorem 15.8. Assuming that:

  • T a complete L-theory with infinite models

  • L is countable

Then T has a countable saturated model if and only if Sn(T) is countable for every n≥1.