C.c.c. forcing without combinatorics (Q3698792)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | C.c.c. forcing without combinatorics |
scientific article |
Statements
C.c.c. forcing without combinatorics (English)
0 references
1984
0 references
countable chain condition
0 references
Cohen reals
0 references
Martin's axiom
0 references
negation of the Continuum Hypothesis
0 references
ZFC
0 references
colouring
0 references
ladder system
0 references
N-generic condition
0 references