Definable Ultrapowers and the Omitting Types Theorem
Publications de l'Institut Mathématique, _N_S_50 (1991) no. 64, p. 14
Cet article a éte moissonné depuis 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 },
year = {1991},
volume = {_N_S_50},
number = {64},
language = {en},
url = {http://geodesic.mathdoc.fr/item/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/