PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 41(55), pp. 17--20 (1987)
ON REDUCED PRODUCTS OF FORCING SYSTEMS
Milan Grulovi\'cInstitut 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