Totally proper forcing and the Moore-Mrówka problem

Abstract

We describe a totally proper notion of forcing that can be used to shoot uncountable free sequences through certain countably compact non-compact spaces. This is almost (but not quite!) enough to produce a model of ZFC + CH in which countably tight compact spaces are sequential - we still do not know if the notion of forcing described in the paper can be iterated without adding reals.