Spector forcing (Q3712335)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Spector forcing |
scientific article |
Statements
Spector forcing (English)
0 references
1984
0 references
strong partition cardinal
0 references
generic ultrafilter
0 references
dependent choice
0 references
generic extension of a model
0 references