Paracompact box products in forcing extensions
It is a classical result of Shapirovsky that any compact space of countable tightness has a point-countable π-base. We look at general spaces with point-countable π-bases and prove, in particular, that, under the Continuum Hypothesis, any Lindelöf first countable space has a point-countable π-base. We also analyze when the function space has a point-countable π -base, giving a criterion for this in terms of the topology of X when l*(X) = ω. Dealing with point-countable π-bases makes it possible...
We solve the long standing problem of characterizing the class of strongly Fréchet spaces whose product with every strongly Fréchet space is also Fréchet.
Every nontrivial countably productive coreflective subcategory of topological linear spaces is -productive for a large cardinal (see [10]). Unlike that case, in uniform spaces for every infinite regular cardinal , there are coreflective subcategories that are -productive and not -productive (see [8]). From certain points of view, the category of topological groups lies in between those categories above and we shall show that the corresponding results on productivity of coreflective subcategories...
Generalizing a theorem of Oxtoby, it is shown that an arbitrary product of Baire spaces which are almost locally universally Kuratowski-Ulam (in particular, have countable-in-itself π-bases) is a Baire space. Also, partially answering a question of Fleissner, it is proved that a countable box product of almost locally universally Kuratowski-Ulam Baire spaces is a Baire space.