A FORMALISM FOR SOME CLASS OF FORCING NO
β
Piotr Koszmider; P. Koszmider
π
Article
π
1992
π
John Wiley and Sons
π
English
β 482 KB
## Abstract We introduce a class of forcing notions, called forcing notions of type __S__, which contains among other Sacks forcing, PrikryβSilver forcing and their iterations and products with countable supports. We construct and investigate some formalism suitable for this forcing notions, which