EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 41(55), pp. 17--20 (1987)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

ON REDUCED PRODUCTS OF FORCING SYSTEMS

Milan Grulovi\'c

Institut za matematiku, Novi Sad, Yugoslavia

Abstract: We introduce two definitions of reduced products of forcing systems and using the appropriate ultraproduct we show that for any theory $T$ of a first order finitary language $L$ there is a forcing system whose forcing companion intersected with $\sent(L)$ gives $T$.

Classification (MSC2000): 03C25

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