S-forcing. I: a ''black-box'' theorem for morasses, with applications to super-Souslin trees (Q1050337)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: S-forcing. I: a black-box theorem for morasses, with applications to super-Souslin trees |
scientific article; zbMATH DE number 3809543
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | S-forcing. I: a ''black-box'' theorem for morasses, with applications to super-Souslin trees |
scientific article; zbMATH DE number 3809543 |
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
