Totally proper forcing and the Moore-Mrówka problem
Compact, Continuum Hypothesis, Countable tightness, Sequential, Totally proper forcing
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.
Original Publication Date
DOI of published version
Eisworth, Todd, "Totally proper forcing and the Moore-Mrówka problem" (2003). Faculty Publications. 3328.