C.c.c. forcing without combinatorics
From MaRDI portal
Publication:3698792
DOI10.2307/2274136zbMath0577.03025MaRDI QIDQ3698792
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274136
colouring; ZFC; Martin's axiom; Cohen reals; countable chain condition; ladder system; N-generic condition; negation of the Continuum Hypothesis
03E35: Consistency and independence results
03E40: Other aspects of forcing and Boolean-valued models
Related Items
DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS, Choiceless chain conditions, Universal structures in power ℵ1, The Structure of Groups Which are Almost the Direct Sum of Countable Abelian Groups, An independence result in quadratic form theory: Infinitary combinatorics applied to ε-Hermitian spaces
Cites Work