Iterated forcing and changing cofinalities (Q1159635)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Iterated forcing and changing cofinalities |
scientific article |
Statements
Iterated forcing and changing cofinalities (English)
0 references
1981
0 references
revised countable support iteration
0 references
proper forcing
0 references
Prikry forcing
0 references
Namba forcing
0 references
generalizations
0 references
Galvin filters
0 references
chain conditions
0 references
omega sequence
0 references
inaccessible cardinal
0 references
measurable cardinals
0 references
regular cardinal
0 references
normal ultrafilter
0 references
normal precipitous ideal
0 references
normal precipitous filter
0 references
closed set
0 references
super compact cardinals
0 references
countable-support iteration
0 references
semi- properness
0 references
pseudo-completeness
0 references
0 references
0 references
