No CrossRef data available.
Published online by Cambridge University Press: 12 March 2014
c.c.c. posets are characterised in terms of
-generic conditions. This characterisation can be applied to get simple proofs of many facts about c.c.c. forcing including Con(MA + ┐CH).