Preservation of Topological Properties by Strongly Proper Forcings

Abstract

In this paper we show that forcings which are strongly proper for stationarily many countable elementary submodels preserve each of the following properties of topological spaces: countably tight; Lindel\"of; Rothberger; Menger; and a strategic version of Rothberger. This extends results from Dow, as well as from Iwasa and from Kada.