Omitting Types

This video presents the omitting types theorem, including its proof. We present an application about the existence of atomic models of certain theories.