EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 50(64) Preimenovati datoteke, proveriti paginaciju!!!, pp. 14--18 (1991)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

Definable ultrapowers and the omitting types theorem

{\Z}arko Mijajlovi{\cj}

Matematicki fakultet, Beograd, Yugoslavia

Abstract: 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 (MSC2000): 03C20

Full text of the article:

Electronic fulltext finalized on: 2 Nov 2001. This page was last modified: 16 Nov 2001.

© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
© 2001 ELibM for the EMIS Electronic Edition