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.