Steel forcing and barwise compactness (Q3966126)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Steel forcing and barwise compactness |
scientific article |
Statements
Steel forcing and barwise compactness (English)
0 references
1982
0 references
tagged trees
0 references
generalization of Steel's forcing
0 references
tags
0 references
resolvable admissible sets
0 references
strong global well-ordering principle
0 references
admissible ordinal
0 references