S-forcing. I: a ''black-box'' theorem for morasses, with applications to super-Souslin trees (Q1050337)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | S-forcing. I: a ''black-box'' theorem for morasses, with applications to super-Souslin trees |
scientific article |
Statements
S-forcing. I: a ''black-box'' theorem for morasses, with applications to super-Souslin trees (English)
0 references
1982
0 references
combinatorial principles
0 references
consistent
0 references
forcing
0 references
constructible universe
0 references
morass
0 references
tree
0 references
super-Souslin tree
0 references
Souslin subtrees
0 references
combinatorial set theory
0 references
0 references
