Probabilistic convergence spaces and regularity.
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.
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.
As is well-known, every product of a locally compact space with a -space is a -space. But, the product of a separable metric space with a -space need not be a -space. In this paper, we consider conditions for products to be -spaces, and pose some related questions.
The stability of the Lindelöf property under the formation of products and of sums is investigated in ZF (= Zermelo-Fraenkel set theory without AC, the axiom of choice). It is • not surprising that countable summability of the Lindelöf property requires some weak choice principle, • highly surprising, however, that productivity of the Lindelöf property is guaranteed by a drastic failure of AC, • amusing that finite summability of the Lindelöf property takes place if either some weak choice principle...
We show that, under suitably general formulations, covering properties, accumulation properties and filter convergence are all equivalent notions. This general correspondence is exemplified in the study of products. We prove that a product is Lindelöf if and only if all subproducts by factors are Lindelöf. Parallel results are obtained for final -compactness, -compactness, the Menger and the Rothberger properties.