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
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