Abstract | ||
---|---|---|
We introduce a deuce of forcing notions, called forcing notions of type SC, which contains among other Sacks forcing, Sm-Silver forcing and their iterations and products with countable supports. We construct and investigate some formalism suitable for this forcing notions, which allows all standard tricks for iterations or products with countable supports of Sacks forcing. On the other hand it does not involve internal sr structure of conditions of iterations or products. We prove that the class of forcing notions of type SC is closed under products and certain iterations with countable supports. MSC: 03C25, 03E40. |
Year | DOI | Venue |
---|---|---|
1992 | 10.1002/malq.19920380140 | ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK |
Keywords | Field | DocType |
SACKS FORCING,PRIKRY-SILVER FORCING,ITERATION OF FORCING NOTIONS,PRODUCT OF FORCING NOTIONS | Discrete mathematics,Countable set,Pure mathematics,Forcing (mathematics),Formalism (philosophy),Mathematics | Journal |
Volume | Issue | ISSN |
38 | 5-6 | 0044-3050 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Piotr Koszmider | 1 | 6 | 1.79 |
P. Koszmider | 2 | 0 | 0.34 |