Theorem 16.4 (Omitting Types Theorem). Assuming that:

  • L is countable

  • p∈Sn(T) is non-isolated

Then there is a countable M⊨T such that p is not realised in M (M omits p).