SQUARE WITH BUILT-IN DIAMOND-PLUS (Q5359566)
From MaRDI portal
scientific article; zbMATH DE number 6779951
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SQUARE WITH BUILT-IN DIAMOND-PLUS |
scientific article; zbMATH DE number 6779951 |
Statements
SQUARE WITH BUILT-IN DIAMOND-PLUS (English)
0 references
26 September 2017
0 references
diamond principle
0 references
square principle
0 references
constructibility
0 references
walks on ordinals
0 references
Kurepa tree
0 references
almost Souslin tree
0 references
parameterized proxy principle
0 references
0 references
