Definable Ultrapowers and the Omitting Types Theorem


Žarko Mijajlović


A proof on the existence of elementary end extensions of certain countable linearly ordered models using definable ultrapowers is given. In the same style the proof of Keisler's two cardinal theorem is presented.