On a generalization of Jensen's □<sub><i>κ</i></sub>, and strategic closure of partial orders (Q3342561)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On a generalization of Jensen's □<sub><i>κ</i></sub>, and strategic closure of partial orders |
scientific article |
Statements
On a generalization of Jensen's □<sub><i>κ</i></sub>, and strategic closure of partial orders (English)
0 references
1983
0 references
combinatorial principles
0 references
constructible universe
0 references
forcing axiom
0 references
