Geodesic
Definable Ultrapowers and the Omitting Types Theorem
Publications de l'Institut Mathématique, _N_S_50 (1991) no. 64, p. 14 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

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.
Classification : 03C20 
@article{PIM_1991_N_S_50_64_a2,
     author = {\v{Z}arko Mijajlovi\'c},
     title = {Definable {Ultrapowers} and the {Omitting} {Types} {Theorem}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {14 },
     publisher = {mathdoc},
     volume = {_N_S_50},
     number = {64},
     year = {1991},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1991_N_S_50_64_a2/}
}
TY  - JOUR
AU  - Žarko Mijajlović
TI  - Definable Ultrapowers and the Omitting Types Theorem
JO  - Publications de l'Institut Mathématique
PY  - 1991
SP  - 14 
VL  - _N_S_50
IS  - 64
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1991_N_S_50_64_a2/
LA  - en
ID  - PIM_1991_N_S_50_64_a2
ER  - 
%0 Journal Article
%A Žarko Mijajlović
%T Definable Ultrapowers and the Omitting Types Theorem
%J Publications de l'Institut Mathématique
%D 1991
%P 14 
%V _N_S_50
%N 64
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1991_N_S_50_64_a2/
%G en
%F PIM_1991_N_S_50_64_a2
Žarko Mijajlović. Definable Ultrapowers and the Omitting Types Theorem. Publications de l'Institut Mathématique, _N_S_50 (1991) no. 64, p. 14 . http://geodesic.mathdoc.fr/item/PIM_1991_N_S_50_64_a2/