Nonproper Products
arXiv:0905.0526 · doi:10.1112/blms/bdr094
Abstract
We show that there exist two proper creature forcings having a simple (Borel) definition, whose product is not proper. We also give a new condition ensuring properness of some forcings with norms.