Dimension theory and forcing

Abstract There is a proper Baire category preserving forcing which adds infinitely equal real but no Cohen real. This resolves a long-standing open problem of David Fremlin. The forcing has a natural description in terms of infinite-dimensional topology.